Specifying Imperative ML-like Programs Using Dynamic Logic ⋆

by Séverine Maingaud , Vincent Balat , Richard Bubel , Reiner Hähnle , Re Miquel , Université Paris , Diderot Paris , Ens Lyon , Université De Lyon , Key Af

Documents Related by Co-Citation

No related documents identified.