Exploiting purity for atomicity

Gespeichert in:

Bibliographische Detailangaben

Zeitschriftentitel:	ACM SIGSOFT Software Engineering Notes
Personen und Körperschaften:	Flanagan, Cormac, Freund, Stephen N., Qadeer, Shaz
In:	ACM SIGSOFT Software Engineering Notes, 29, 2004, 4, S. 221-231
Format:	E-Article
Sprache:	Englisch
veröffentlicht:	Association for Computing Machinery (ACM)
Schlagwörter:	General Medicine