65. Birthday: Joseph A. Goguen, 2006

Refine list

showing all ?? records

Meaning

Meta-Logic

Specification and Composition

Behavior and Formal Languages

Models, Deduction, and Computation