Items where authors include "Bandur, Victor"

Export as [feed] Atom [feed] RSS
Number of items: 1.

Proceedings Paper

Woodcock, Jim orcid.org/0000-0001-7955-2702 and Bandur, Victor (2012) Unifying Theories of Undefinedness in UTP. In: Wolff, Burkhart, Gaudel, Marie-Claude and Feliachi, Abderrahmane, (eds.) Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. UNSPECIFIED. Lecture Notes in Computer Science . Springer , Heidelberg , pp. 1-22.

This list was generated on Sat Mar 23 05:49:52 2024 GMT.