Search papers, labs, and topics across Lattice.
Aarhus University
1
0
New recursive measures for operations in VDM dramatically enhance proof obligation generation, ensuring greater model consistency.
