L HeitmeyerConstance

Model Checking Complete Requirements Specifications Using Abstraction

BharadwajRamesh, L HeitmeyerConstance, 1999 .

Automated consistency checking of requirements specifications

L HeitmeyerConstance, D JeffordsRalph, G LabawBruce, 1996 .

Generating optimized code from SCR specifications

L HeitmeyerConstance, RothamelTom, A LiuYanhong, 2006 .