Course Description

Raw: Introduction to the formal mathematical study of program meaning (semantics), using one or more appr

Stemmed: introduct formal mathemat studi program mean semant approach oper semant denot semant program logic

Inferred Topics

No prerequisites registered.