Dittes, Benjamin: Formal system design for intelligent artifacts. 2012

Inhalt