DMCA

AJIS Special Issue- Requirements Engineering 1999 A HYBRID PARALLEL EXECUTION MODEL FOR LOGIC-BASED REQUIREMENT SPECIFICATIONS*

by Jeffrey J. P. Tsai , Bing Li