Teaching the construction of correct programs using invariant based programming

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

Forskningsoutput: Konferensbidrag › Konferenspapper › Peer review

Originalspråk	engelska
Status	Publicerad - 2007
MoE-publikationstyp	Ej behörig
Evenemang	South-East European Workshop on Formal Methods - Thessaloniki, Grekland Varaktighet: 30 nov. 2007 → 1 dec. 2007

Konferens	South-East European Workshop on Formal Methods
Förkortad titel	SEEFM
Land/Territorium	Grekland
Ort	Thessaloniki
Period	30/11/2007 → 01/12/2007

Citera det här

@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",

}