Michal Misiak

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004

1 EE Michal Misiak: Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems. WADT 2004: 144-161