Artículos relacionados a Formal Methods for Trustworthy Computer Systems: Report...
Formal Methods for Trustworthy Computer Systems: Report from Fm89--A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, ... Halifax, Canada (Workshops in Computing) - Tapa blanda