International conference on the mathematics of program construction 02 1992 Oxford, GB
VIAF ID: 133618811 ( Corporate )
Permalink: http://viaf.org/viaf/133618811
Preferred Forms
Works
Title | Sources |
---|---|
Mathematics of program construction second International conference, Oxford, U.K., June 29 - July 3, 1992, proceedings |