Languages
Boiten, Eerke.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Mathematics of program construction6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /
by:
(1998 :); Boiten, Eerke.; Moller, Bernhard.; SpringerLink (Online service)
(Electronic resources)
Refinementsemantics, languages and applications /
by:
Boiten, Eerke.; Derrick, John.; SpringerLink (Online service)
(Electronic resources)