"Parallel programs (Computer programs)+Verification." - ECU Libraries Catalog

Start Over

You searched for: subject "Parallel programs (Computer programs)+Verification."

Showing 11 - 12 of 12 results

Search Results

Cover image for Automated verification of specifications with typestates and access permissions

Automated verification of specifications with typestates and access permissions

by Siminiceanu, Radu I.
2011
Format: Electronic

Location
Access Content Online

Cover image for Parallel ALLSPD-3D

Parallel ALLSPD-3D

by Fricker, David M.
1997
Format: Electronic

Location
Access Content Online