Mémoire de maîtrise et thèse de doctorat

Formalizing Properties for Trace Analysis

Fan, Q. Formalizing Properties for Trace Analysis Montréal. University of McGill, 2003. 250 p. Master of Engineering in Electrical and Computer Engineering.