Integrated Formal Methods

DOI10.1007/B96106zbMath1196.68133OpenAlexW1531155000MaRDI QIDQ5901617

Jorge García Duque, Ana Fernándezvilas, Rebeca P. Díaz-Redondo, Alberto Gil-Solla, José J. Pazos Arias

Publication date: 7 May 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96106

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Many-valued logic (03B50)

Uses Software

• Unnamed Item

This page was built for publication: Integrated Formal Methods