Cite This Report
SEI
Gluch, David; Comella-Dorda, Santiago; Hudak, John; Lewis, Grace; Walker, Julie; Weinstock, Charles; & Zubrow, David. Model-Based Verification: An Engineering Practice. CMU/SEI-2002-TR-021. Software Engineering Institute, Carnegie Mellon University. 2002. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6141
IEEE
Gluch. David, Comella-Dorda. Santiago, Hudak. John, Lewis. Grace, Walker. Julie, Weinstock. Charles, and Zubrow. David, "Model-Based Verification: An Engineering Practice," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-2002-TR-021, 2002.
http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6141
APA
Gluch, David., Comella-Dorda, Santiago., Hudak, John., Lewis, Grace., Walker, Julie., Weinstock, Charles., & Zubrow, David. (2002). Model-Based Verification: An Engineering Practice (CMU/SEI-2002-TR-021). Retrieved April 01, 2023, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6141
CHI
David Gluch, Santiago Comella-Dorda, John Hudak, Grace Lewis, Julie Walker, Charles Weinstock, & David Zubrow. Model-Based Verification: An Engineering Practice (CMU/SEI-2002-TR-021). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2002. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6141
MLA
Gluch, David., Comella-Dorda, Santiago., Hudak, John., Lewis, Grace., Walker, Julie., Weinstock, Charles., & Zubrow, David. 2002. Model-Based Verification: An Engineering Practice (Technical Report CMU/SEI-2002-TR-021). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6141
BibTex
@techreport{GluchModelBasedVerification2002,
title={Model-Based Verification: An Engineering Practice},
author={David Gluch and Santiago Comella-Dorda and John Hudak and Grace Lewis and Julie Walker and Charles Weinstock and David Zubrow},
year={2002},
number={CMU/SEI-2002-TR-021},
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6141}
}