Scaleable Formalization of Imperfect Knowledge
Griffith University Author(s)
MetadataShow full item record
Asian Working Conference on Verified Software (AWCVS’06)
© 2006 United Nations University Press. Reproduced in accordance with the copyright policy of the publisher. Use hypertext link for access to the conference website.