Checking synchronous programs using automatic abstraction, modular verification and assumption discharge

Bibliographic Details
Main Author: Merceron, Agathe (Author)
Format: Book
Published: Sankt Augustin : GMD-Forschungszentrum Informationstechnik 1996
Series:GMD-Forschungszentrum Informationstechnik. Arbeitspapiere der GMD 972
Physical Description:17 S 30 cm
QR Code: Show QR Code