Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Static Analysis [electronic resource] : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings / edited by Xavier Rival.

by Rival, Xavier [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / edited by Kenneth L. McMillan, Xavier Rival.

by McMillan, Kenneth L [editor.] | Rival, Xavier [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available