Publication
-
January 2012
-
A One-Stop Shop for Software Evolution Tool Construction Article
ERCIM News, 11-12.January 2012
-
January 2012
-
Time discounting and time consistency Book Chapter
January 2012
-
Perception and Change in Update Logic Book Chapter
January 2012
-
January 2012
-
On the Logic of Lying Book Chapter
January 2012
-
Action Emulation Article
Synthese, 185(1), 131-151.January 2012