From Informal Requirements to Property-Driven Formal Validation.

Alessandro Cimatti Marco Roveri Angelo Susi Stefano Tonetta From Informal Requirements to Property-Driven Formal Validation. 166-181 2008 FMICS http://dx.doi.org/10.1007/978-3-642-03240-0_15 conf/fmics/2008 db/conf/fmics/fmics2008.html#CimattiRST08