[RDF data]
Home | All literature
PropertyValue
sisvu:courseInstanceLiterature <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstance/1199/2002>
sisvu:description Schumann, J.M., Automated Theorem Proving in Software Engineering, Springer-Verlag, ISBN 3-540-67989-8, 2001.
sisvu:obligatory true (xsd:boolean)
rdf:type sisvu:Literature