Designing software from formal specifications - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Anthony MacDonald. Designing software from formal specifications. PhD thesis, University of Queensland, Australia, 1998. [doi]

@phdthesis{au-1593,
  title = {Designing software from formal specifications},
  author = {Anthony MacDonald},
  year = {1998},
  url = {https://search.library.uq.edu.au/permalink/f/l3gdeh/61UQ_ALMA2187452210003131},
  researchr = {https://researchr.org/publication/au-1593},
  cites = {0},
  citedby = {0},
  school = {University of Queensland, Australia},
}

runs on WebDSL