Frank S. de Boer (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

192 Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw: Verification of object-oriented programs: A transformational approach. J. Comput. Syst. Sci. 78(3): 823-852 (2012)

185 Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw: Monitoring Method Call Sequences Using Annotations. FACS 2010: 53-70

Selection of 2 from 198 records - Frank S. de Boer has 100 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

192		Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw: Verification of object-oriented programs: A transformational approach. J. Comput. Syst. Sci. 78(3): 823-852 (2012)
185		Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw: Monitoring Method Call Sequences Using Annotations. FACS 2010: 53-70