Analyzing SAFER using UML and VDM++. Agerholm, S. and Schafer, W. In Fitzgerald, J. and Larsen, P. G., editors, VDM in Practice, pages 139–141, September, 1999.
bibtex   
@INPROCEEDINGS{Agerholm&99,
  KEY           = "Agerholm\&99",
  AUTHOR        = "Sten Agerholm and Wendy Schafer",
  EDITOR        = "John Fitzgerald and Peter Gorm Larsen",
  TITLE         = "{Analyzing SAFER using UML and VDM++}",
  BOOKTITLE     = "VDM in Practice",
  YEAR          = "1999",
  MONTH         = "September",
  PAGES         = "139--141",
  NOTE          = "",
  ANNOTE        = "",
  COMMENT       = "PGL"}

%G OVERTURE
Downloads: 0