Methods and tools for the formal verification of software : an analysis and comparison / von Marian Rainer-Harbach. 2011
Inhalt