Publication
-
October 1994 -
October 1994 -
Modular algebraic specifications and transformational program development Dissertation
Software EngineeringOctober 1994 -
October 1994
-
Supervised boundary formation Dissertation
October 1994 -
November 1994
-
November 1994
-
Polling systems Dissertation
November 1994