author : Marcin Engel

Short works

• Specifying Real-Time Systems with Z and the Duration Calculus. 1994. (In 8th Z User Workshop )