Formal Specification Techniques (Extended Abstract)

@inproceedings{Gaudel:ICSE94,
  author    = {Marie{-}Claude Gaudel},
  title     = {Formal Specification Techniques {(Extended} Abstract)},
  booktitle = {ICSE},
  pages     = {223--227},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1994},
}