Formal methods - pacific '97: proceedings of the fmp '97, wellington, new zealand, 9-11 july 1997, incorporating of the 6th australian refinement workshop and the 3rd new zealand formal program development colloquium
Auteur :
Groves, L.
ISBN :
9789813083318
Date de publication :
30 déc. 1997
Langue :
Anglais
Pays d'origine :
Singapour
The refereed papers presented here are taken from the Formal Methods Pacific Conference, 1997, and they represent contributions to research in formal software developments. The conference also included informal presentations describing work in progress, which are presented here in abstract form.