Publication:4536754
From MaRDI portal
zbMath0988.68758MaRDI QIDQ4536754
Klaus Havelund, Nicola Muscettola, Lina Khatib
Publication date: 22 July 2002
Uses Software
zbMath0988.68758MaRDI QIDQ4536754
Klaus Havelund, Nicola Muscettola, Lina Khatib
Publication date: 22 July 2002
Uses Software