Formal Methods in the Development of PREMO. Duke, D. J.; Duce, D. A.; Herman, I.; Hagen, P. J.; and Reynolds, G. J. Computer Standards & Interfaces, 16:491--509, 1995.
Formal Methods in the Development of PREMO [link]Paper  bibtex   
@article{ Duke1995,
  author    = {David J. Duke and David A. Duce and Ivan Herman and Paul JW Hagen and Graham J. Reynolds},
  title     = {Formal Methods in the Development of PREMO},
  journal   = {Computer Standards & Interfaces},
  pages   = {491--509},
  volume   = {16},
  url   = {ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9465.ps.Z} ,
  year   = {1995}
}
Downloads: 0