Formal Methods in System Design. Springer US.
芝加哥风格引文Formal Methods in System Design. Springer US.
MLA引文Formal Methods in System Design. Springer US.
警告：这些引文格式不一定是100％准确.
APA引文
Formal Methods in System Design. Springer US.
芝加哥风格引文Formal Methods in System Design. Springer US.
MLA引文Formal Methods in System Design. Springer US.