Cite This Report
SEI
Gluch, David; Comella-Dorda, Santiago; Hudak, John; Lewis, Grace; & Weinstock, Charles. Model-Based Verification: Guidelines for Generating Expected Properties. CMU/SEI-2002-TN-003. Software Engineering Institute, Carnegie Mellon University. 2002. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5869
IEEE
Gluch. David, Comella-Dorda. Santiago, Hudak. John, Lewis. Grace, and Weinstock. Charles, "Model-Based Verification: Guidelines for Generating Expected Properties," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Note CMU/SEI-2002-TN-003, 2002.
http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5869
APA
Gluch, David., Comella-Dorda, Santiago., Hudak, John., Lewis, Grace., & Weinstock, Charles. (2002). Model-Based Verification: Guidelines for Generating Expected Properties (CMU/SEI-2002-TN-003). Retrieved June 09, 2023, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5869
CHI
David Gluch, Santiago Comella-Dorda, John Hudak, Grace Lewis, & Charles Weinstock. Model-Based Verification: Guidelines for Generating Expected Properties (CMU/SEI-2002-TN-003). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2002. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5869
MLA
Gluch, David., Comella-Dorda, Santiago., Hudak, John., Lewis, Grace., & Weinstock, Charles. 2002. Model-Based Verification: Guidelines for Generating Expected Properties (Technical Report CMU/SEI-2002-TN-003). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5869
BibTex
@techreport{GluchModelBasedVerification2002,
title={Model-Based Verification: Guidelines for Generating Expected Properties},
author={David Gluch and Santiago Comella-Dorda and John Hudak and Grace Lewis and Charles Weinstock},
year={2002},
number={CMU/SEI-2002-TN-003},
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5869}
}