List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found.

---

@misc{Kut96a,
 author = {Philipp W. Kutter},
 title = {Executable Specification of Oberon Using Natural Semantics},
 month = {Mar},
 year = {1996}
}

---

1 entry found.

 
 Back