Browsing by Subject Computer programs -- Verification
Showing results 56 to 57 of 57
< previous
Issue Date | Title | Author(s) |
---|---|---|
2004 | The use of model-checking for the verification of concurrent algorithms | Cordina, Joseph |
2012-11 | μLarvaScript : rethinking the Larva scripting language | Francalanza, Adrian |