Formal engineering of software library systems

Steven Atkinson. Formal engineering of software library systems. PhD thesis, University of Queensland, Australia, 1997. [doi]

@phdthesis{au-1184,
  title = {Formal engineering of software library systems},
  author = {Steven Atkinson},
  year = {1997},
  doi = {10.14264/02b5c6f},
  url = {https://doi.org/10.14264/02b5c6f},
  researchr = {https://researchr.org/publication/au-1184},
  cites = {0},
  citedby = {0},
  school = {University of Queensland, Australia},
}