Teaching the construction of correct programs using invariant based programming

Linda Christina Yvonne Mannila, Ralph-Johan Back, Johannes Eriksson

Research output: Conference materials › Paper › peer-review

Original language	English
Publication status	Published - 2007
MoE publication type	Not Eligible
Event	South-East European Workshop on Formal Methods - Thessaloniki, Greece Duration: 30 Nov 2007 → 1 Dec 2007

Conference	South-East European Workshop on Formal Methods
Abbreviated title	SEEFM
Country/Territory	Greece
City	Thessaloniki
Period	30/11/2007 → 01/12/2007

Cite this

@conference{a303e1fd0e2b4bea96a735242f51de9c,

title = "Teaching the construction of correct programs using invariant based programming",

author = "Mannila, {Linda Christina Yvonne} and Ralph-Johan Back and Johannes Eriksson",

year = "2007",

language = "English",

note = "South-East European Workshop on Formal Methods ; Conference date: 30-11-2007 Through 01-12-2007",

}