The top documents tagged [ibm vienna lab]

Formal Methods: Z CS 415, Software Engineering II Mark Ardis, Rose-Hulman Institute March 18, 2003.

---

223 views

And SQL/MM Part 7: History ISO/IEC JTC 1/SC 32 WG 4 SQL/MM Convener Kohji SHIBANO 32N1766.

---

219 views

and SQL/MM Part 7: History

---

36 views