Normal view MARC view

World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France) (Meeting Name)

Number of records used in: 1
Preferred form: World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France)

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