Tie-Cheng Wang
-
Toward reliable reactive systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design