zbMath1114.68441MaRDI QIDQ4356440
Pedro Merino, José M. Troya
Publication date: 14 January 1998
Mathematics Subject Classification ID
Specification and verification (program logics, model checking, etc.) (68Q60)