Teaching the construction of correct programs using invariant based programming

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

Tutkimustuotos: Konferenssimateriaalit › Konferenssiesitys › vertaisarvioitu

Alkuperäiskieli	englanti
Tila	Julkaistu - 2007
OKM-julkaisutyyppi	Ei sovellu
Tapahtuma	South-East European Workshop on Formal Methods - Thessaloniki, Kreikka Kesto: 30 marrask. 2007 → 1 jouluk. 2007

Konferenssi	South-East European Workshop on Formal Methods
Lyhennettä	SEEFM
Maa/Alue	Kreikka
Kaupunki	Thessaloniki
Ajanjakso	30/11/2007 → 01/12/2007

Siteeraa tätä

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

}