David A. Naumann: Modular Reasoning in Object-Oriented Programming. (2005)conf/vstte/Naumann0510.1007/978-3-540-69149-5_13Modular Reasoning in Object-Oriented Programming.1David A. Naumann1105-115VSTTEVSTTE20052008provenance information for RDF data of dblp record 'conf/vstte/Naumann05'2023-03-21T21:02:48+0100