Course Description

Raw: Formal logic or specification of software components; algebraic vs. model-based specifications; comm

Stemmed: formal logic specif softwar compon algebra model base specif common abstract type verif properti spe

Inferred Topics

Prerequisite Tree