Safeness of make-based incremental recompilation

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

Originalsprog	Engelsk
Titel	FME 2002 : formal methods - getting IT right. International Symposium of Formal Methods Europe. proceedings
Forlag	Kluwer Academic Publishers
Publikationsdato	2002
Sider	126-145
ISBN (Trykt)	3540439285
Status	Udgivet - 2002
Begivenhed	Formal Methods Europe - Copenhagen, Danmark Varighed: 22 jul. 2002 → 24 jul. 2002 Konferencens nummer: 11

Serie titel:Lecture notes in computer sciences
Serie nummer:2391

Citer dette

@inproceedings{07c7a520d31511db9c7c000ea68e967b,

title = "Safeness of make-based incremental recompilation",

author = "J{\o}rgensen, {Niels Henrik}",

note = "Serie titel:Lecture notes in computer sciences Serie nummer:2391; null ; Conference date: 22-07-2002 Through 24-07-2002",

year = "2002",

language = "English",

isbn = "3540439285",

pages = "126--145",

booktitle = "FME 2002",

publisher = "Kluwer Academic Publishers",

}