Cite This Report

SEI:

Gluch, David; Hudak, John; Janousek, Robert; Walker, Julie; Weinstock, Charles; & Zubrow, David. Framework Document: Model-Based Verification Pilot Study (CMU/SEI-2001-SR-024). Software Engineering Institute, Carnegie Mellon University, 2001. http://www.sei.cmu.edu/library/abstracts/reports/01sr024.cfm

IEEE:

D. Gluch, J. Hudak, R. Janousek, J. Walker, C. Weinstock, and D. Zubrow, "Framework Document: Model-Based Verification Pilot Study," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Special Report CMU/SEI-2001-SR-024, 2001. http://www.sei.cmu.edu/library/abstracts/reports/01sr024.cfm

APA:

Gluch, D., Hudak, J., Janousek, R., Walker, J., Weinstock, C., & Zubrow, D. (2001). Framework Document: Model-Based Verification Pilot Study (CMU/SEI-2001-SR-024). Retrieved June 18, 2013, from the Software Engineering Institute, Carnegie Mellon University website: http://www.sei.cmu.edu/library/abstracts/reports/01sr024.cfm

CHI:

Gluch, David, John Hudak, Robert Janousek, Julie Walker, Charles Weinstock, and David Zubrow. Framework Document: Model-Based Verification Pilot Study (CMU/SEI-2001-SR-024). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2001. http://www.sei.cmu.edu/library/abstracts/reports/01sr024.cfm

MLA:

Gluch, D., Hudak, J., Janousek, R., Walker, J., Weinstock, C., & Zubrow, D. 2001. Framework Document: Model-Based Verification Pilot Study (Technical Report CMU/SEI-2001-SR-024). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://www.sei.cmu.edu/library/abstracts/reports/01sr024.cfm