Scaleable Formalization of Imperfect Knowledge
Conference Title
Asian Working Conference on Verified Software (AWCVS’06)
Publisher URI
Copyright Statement
© 2006 United Nations University Press. Reproduced in accordance with the copyright policy of the publisher. Use hypertext link for access to the conference website.