Fitting Formal Methods into the Design Cycle - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Kenneth L. McMillan. Fitting Formal Methods into the Design Cycle. In DAC. pages 314-319, 1994. [doi]

@inproceedings{McMillan94,
  title = {Fitting Formal Methods into the Design Cycle},
  author = {Kenneth L. McMillan},
  year = {1994},
  doi = {10.1145/196244.196392},
  url = {http://doi.acm.org/10.1145/196244.196392},
  tags = {design},
  researchr = {https://researchr.org/publication/McMillan94},
  cites = {0},
  citedby = {0},
  pages = {314-319},
  booktitle = {DAC},
}

runs on WebDSL