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

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

[IEEE Comput. Soc. Press 1994 IEEE International Symposium on Software Reliability Engineering - Monterey, CA, USA (6-9 Nov. 1994)] Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering - Using formal methods to validate C programs

[IEEE Comput. Soc. Press 1994 IEEE International Symposium on Software Reliability Engineering - Monterey, CA, USA (6-9 Nov. 1994)] Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering - Using formal methods to validate C programs

Antoine, C.; Baudin, P.; Collart, J.M.; Raguideau, J.; Trotin, A.

作者Antoine, C.; Baudin, P.; Collart, J.M.; Raguideau, J.; Trotin, A.
文件大小583.64KB
发表时间1994
DOI10.1109/issre.1994.341383
页码252-258

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