Formal Foundations for Software Engineeing Methods

Heinrich Hußmann. Formal Foundations for Software Engineeing Methods. Volume 1322 of Lecture Notes in Computer Science, Springer, 1997.

@book{Hussmann97,
  title = {Formal Foundations for Software Engineeing Methods},
  author = {Heinrich Hußmann},
  year = {1997},
  researchr = {https://researchr.org/publication/Hussmann97},
  cites = {0},
  citedby = {0},
  volume = {1322},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63613-7},
}