Design of safety critical systems by refinement.

Alex Iliasov, Arseniy Alekseyev, Danil Sokolov, Andrey Mokhov

Browse the full DATE paper archive.