Travelled to:1 × Canada
1 × United Kingdom
Collaborated with:A.P.Felty D.J.Howe J.Zwiers U.Hannemann Y.Lakhnech W.P.d.Roever
Talks about:protocol (1) specifi (1) softwar (1) program (1) modular (1) develop (1) complet (1) integr (1) verif (1) nuprl (1)
Person: Frank A. Stomp
DBLP: Stomp:Frank_A=
Contributed to:
1998
1996Wrote 2 papers:
- CAV-1998-FeltyHS #protocol #verification
- Protocol Verification in Nuprl (APF, DJH, FAS), pp. 428–439.
- FME-1996-ZwiersHLRS #composition #development #reuse #top-down #using
- Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development (JZ, UH, YL, WPdR, FAS), pp. 595–608.