Jrgen Steensgaard-Madsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
1981–1990
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1990 | FM | Adding Abstract Datatypes to Meta-IV. | Jrgen Steensgaard-Madsen |
| 1981 | FM | Program Specification by Module Trees. | Jrgen Steensgaard-Madsen |
| 1981 | FM | KWIC-index generation. | Jrgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jrg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Srensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen |