Normal view MARC view

Computer software Verification Congresses (Topical Term)

Preferred form: Computer software Verification Congresses

Machine generated authority record.

Work cat.: (AT-ISTA): SPIN'99 (1999 : Toulouse, France) 15102, Theoretical and practical aspects of SPIN model checking :, ©1999.

Powered by Koha