Taxonomic Search: John Anton

4 results

Results

file

Visible to the public Specware - Producing Software Correct by Construction

License: 
Creative Commons 2.5
file

Visible to the public System Synthesis: Towards a new paradigm and discipline for knowledge, software, and system development and maintenance

License: 
Creative Commons 2.5
file

Visible to the public Network Vulnerability Analysis, A Formal Approach

License: 
Creative Commons 2.5
file

Visible to the public Specware

License: 
Creative Commons 2.5