"Proceedings of the Third Workshop on Formal Methods in Software Practice, ..."

Mats Per Erik Heimdahl (2000)

Details and statistics

DOI:

access: unavailable

type: Editorship

metadata version: 2005-11-24