Results
|
761.
|
|
|
762.
|
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 9952
Edition: 1st ed. 2016.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|
|
763.
|
|
|
764.
|
|
|
765.
|
|
|
766.
|
|
|
767.
|
|
|
768.
|
|
|
769.
|
|
|
770.
|
|
|
771.
|
|
|
772.
|
|
|
773.
|
|
|
774.
|
|
|
775.
|
|
|
776.
|
|
|
777.
|
|
|
778.
|
|
|
779.
|
|
|
780.
|
|