Yazar
workshop on formal methods in software practice 3rd 2000 portland
1 cilt bulundu.
Cilt sonuçları
Proceedings of FMSP'00
Workshop on Formal Methods in Software Practice (3rd 2000 Portland, Or.) · Association for Computing Machinery
112 sayfa · 2000
Development / Congresses / Computer software