| |
Steven Vickers
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 7 |       | Mark Dawson, Steven Vickers: Towards a GeoZ Toolkit. Theory and Formal Methods 1994: 365-380 |
Selection of 1 from 22 records - Steven J. Vickers has 9 coauthors
Copyright © 2010-02-09 by Michael Ley (ley@uni-trier.de)