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

Document Versions

Specifying Imperative ML-like Programs Using Dynamic Logic ⋆ –Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Re Miquel, Université Paris, Diderot Paris, Ens Lyon, Université De Lyon, Key Af
Specifying Imperative ML-like Programs Using Dynamic Logic ⋆ –Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Re Miquel, Université Paris, Diderot Paris, Ens Lyon, Université De Lyon, Key Af