Yazar
Corina Pasareanu
9 cilt bulundu.
Cilt sonuçları
Computer Aided Verification
Daniel Kroening, Corina S. Păsăreanu · Springer London, Limited
582 sayfa · 2015
Computer software, verification / Logic, symbolic and mathematical
Formal Aspects of Component Software
Corina S. Păsăreanu · Springer Berlin Heidelberg
277 sayfa · 2013
Mathematical Logic and Formal Languages / Programming Techniques / Information Systems / Software engineering / Logic design
Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings
Corina S. Pasareanu · Springer
Sayfa sayısı yok · 2009
Logic design / Computer science / Software engineering / Computer software / Congresses
Formal Methods
Marieke Huisman, Corina Pasareanu, Naijun Zhan · Springer International Publishing AG
Sayfa sayısı yok · 2021
Kategori yok
Theoretical Aspects of Computing - ICTAC 2022
Helmut Seidl, Zhiming Liu, Corina S. Pasareanu · Springer International Publishing AG
Sayfa sayısı yok · 2022
Kategori yok