skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Modular formal verification of specifications of concurrent systems

Gradara, S., A. Santone, G. Vaglini, and M. Luisa Villani, "Modular formal verification of specifications of concurrent systems", Software Testing, Verification and Reliability, vol. 18, no. 1: Wiley Online Library, pp. 5–28, 2008.