标题:    amp;amp;阿提尔:Featherweight VeriFast公司   amp;amp;奥拉斯特:雅各布斯   amp;amp;日期:2015   amp;amp;数字对象标识:10.2168/LMCS-11(3:19)2015年   amp;amp;流派:文章   amp;amp;身份证件:6501866   amp;amp;发行编号:1860-5974   amp;amp;问题:3   amp;amp;页:第19号论文,57页。   amp;amp;搅拌棒:日志。方法计算。科学。   amp;amp;标题:计算机科学中的逻辑方法   amp;amp;体积:11   sid:FIZ-Karlsruhe:zbMATH公司

× Entschuldigung公司:Wir konnten Sie leider nicht automatisch einer书目/Einrichtung zuordnen。
Bitte verwenden Sie das nachstehende Suchformular order die Karte,um Ihre Heimateinrichtung auszuwählen。

Ihre研究所/图书馆发现:
奥德