Author: W. Paulsen
Publication Overview
Publication period start: 2000
Number of co-authors: 1
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Sherrell,
Linda B.,
Paulsen,
W.
(2000):
Z Specifications Meet Mathematica for Exploratory Prototyping.
In:
ICRE 2000
,
2000,
.
pp. 61.
https://csdl.computer.org/comp/proceedings/icre/2000/0565/00/05650061abs.htm