Course Module: Formal Technical Reviews.

Gregory W. Hislop

Published in: CSEE&T (2005)

Keyphrases

formal model
wide variety
online reviews
data structure
formal specification
formal methods
mathematical theory
data sets
real world
case study