Edit Profile Subotic, Pavle Compute Distance To: Compute Author ID: subotic.pavle Published as: Subotic, Pavle; Subotić, Pavle Documents Indexed: 2 Publications since 2013 Co-Authors 0 single-authored 1 Leroux, Jérôme 1 Rümmer, Philipp 1 Schrammel, Peter Serials 1 Acta Informatica Fields 2 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) Publications by Year Citations contained in zbMATH 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Guiding Craig interpolation with domain-specific abstractions. Zbl 1344.68139Leroux, Jérôme; Rümmer, Philipp; Subotić, Pavle 1 2016 Guiding Craig interpolation with domain-specific abstractions. Zbl 1344.68139Leroux, Jérôme; Rümmer, Philipp; Subotić, Pavle 1 2016 Cited by 3 Authors 1 Klebanov, Vladimir 1 Rümmer, Philipp 1 Ulbrich, Mattias Cited in 1 Serial 1 Formal Methods in System Design Cited in 2 Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Citations by Year