[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Large-scale formal verification in practice: A process perspective

✍ Scribed by Andronick, June; Jeffery, Ross; Klein, Gerwin; Kolanski, Rafal; Staples, Mark; Zhang, He; Zhu, Liming

• Book ID: 118222809
• Publisher: IEEE
• Year: 2012
• Weight: 681 KB
• Category: Article
• ISBN: 1467310654
• DOI: 10.1109/icse.2012.6227120