Formal techniques for Java programs

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	Workshop on Formal Techniques for Java Programs (BerichterstatterIn), ECOOP (BerichterstatterIn)
Weitere Verfasser:	Eisenbach, Susan (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Chichester Wiley 2001
Schriftenreihe:	Concurrency and computation Special issue 13.2001,13
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Extended and refereed versions of four papers presented at the ECOOP 2000 Workshop on Formal Techniques for Java Programs, held in Sophia Antipolis, France
Beschreibung:	S. 1122-1214