zbMath0951.68546MaRDI QIDQ4948730
Sofiène Tahar, Paul Curzon
Publication date: 7 June 2000
zbMATH Keywords
automated verification; multiway decision graphs; interactive formal proof
Mathematics Subject Classification ID
Uses Software