Фугенфюллер. Callard and Bowser website. Introduction to formal methods in software engineering. OML AU.

Ti saluto con affetto in inglese english.