Yazar
international conference on integrated formal methods 3rd 2002 turku
1 cilt bulundu.
Cilt sonuçları
Integrated formal methods
International Conference on Integrated Formal Methods (3rd 2002 Turku, Finland) · Springer
405 sayfa · 2002
Formal methods (Computer science) / Congresses / Computer science / Software engineering / Logic design