A unified approach to adapting and retrieving formally specified components for reuse

David Hemer. A unified approach to adapting and retrieving formally specified components for reuse. PhD thesis, University of Queensland, Australia, 2000. [doi]

@phdthesis{au-1330,
  title = {A unified approach to adapting and retrieving formally specified components for reuse},
  author = {David Hemer},
  year = {2000},
  url = {https://search.library.uq.edu.au/permalink/f/l3gdeh/61UQ_ALMA2181063900003131},
  researchr = {https://researchr.org/publication/au-1330},
  cites = {0},
  citedby = {0},
  school = {University of Queensland, Australia},
}