Formal methods for hardware verification. 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006, Bertinoro, Italy, May 22--27, 2006. Advanced lectures.
From MaRDI portal
Publication:855045
DOI10.1007/11757283zbMATH Open1102.68003OpenAlexW2475557998MaRDI QIDQ855045
Author name not available (Why is that?)
Publication date: 22 December 2006
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11757283
No records found.
This page was built for publication: Formal methods for hardware verification. 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006, Bertinoro, Italy, May 22--27, 2006. Advanced lectures.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q855045)
