发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[ACM Press the 13th workshop - Lugano, Switzerland (2014.04.22-2014.04.22)] Proceedings of the 13th workshop on Foundations of aspect-oriented languages - FOAL '14 - Static verification of ptolemyrely programs using openJML

[ACM Press the 13th workshop - Lugano, Switzerland (2014.04.22-2014.04.22)] Proceedings of the 13th workshop on Foundations of aspect-oriented languages - FOAL '14 - Static verification of ptolemyrely programs using openJML

Sánchez, José; Leavens, Gary T.

作者Sánchez, José; Leavens, Gary T.
文件大小487.26KB
发表时间2014
DOI10.1145/2588548.2588550
页码13-18

← 返回【学霸图书馆】主页