Results
|
|
741.
|
|
|
|
742.
|
|
|
|
743.
|
|
|
|
744.
|
|
|
|
745.
|
|
|
|
746.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7737
Edition: 1st ed. 2013.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer Nature eBook
Availability: No items available.
|
|
|
747.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5944
Edition: 1st ed. 2010.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
In:
Springer Nature eBook
Availability: No items available.
|
|
|
748.
|
|
|
|
749.
|
|
|
|
750.
|
Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 7610
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
|
751.
|
|
|
|
752.
|
|
|
|
753.
|
|
|
|
754.
|
|
|
|
755.
|
|
|
|
756.
|
|
|
|
757.
|
|
|
|
758.
|
|
|
|
759.
|
|
|
|
760.
|
|
