Maarten Steen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1996–1997
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | FM | Viewpoint Consistency in Z and LOTOS: A Case Study. | Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen |
| 1997 | FORTE | Disjunction of LOTOS Specifications. | Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten |
| 1996 | FM | Consistency and Refinement for Partial Specification in Z. | Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen |
| 1996 | FORTE | Comparing LOTOS and Z Refinement Relations. | John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen |