Dillian Guruv

Publication Activity (10 Years)

Years Active: 2003-2003
Publications (10 Years): 0

Publications

Mads Dam, Lars-Åke Fredlund, Dillian Guruv
Formal Methods Research at SICS and KTH: An Overview. Electron. Notes Theor. Comput. Sci. 80 (2003)