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