Formal Methods in System Design

ISBN코드: 
1572-8102
커버리지: 
1992~2014
제공자: 
Springer
초성: 
On-campus: 
http://link.springer.com/journal/10703
Off-campus: 
https://openlink.postech.ac.kr/link.n2s?url=http://link.springer.com/journal/10703