Intelligent assistance in formalizing software specifications - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Kanth Miriyala. Intelligent assistance in formalizing software specifications. PhD thesis, University of Illinois Urbana-Champaign, USA, 1991. [doi]

@phdthesis{us-10227,
  title = {Intelligent assistance in formalizing software specifications},
  author = {Kanth Miriyala},
  year = {1991},
  url = {https://hdl.handle.net/2142/21013},
  researchr = {https://researchr.org/publication/us-10227},
  cites = {0},
  citedby = {0},
  school = {University of Illinois Urbana-Champaign, USA},
}

runs on WebDSL