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