Incremental Reasoning for Multiple Inheritance

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen. Incremental Reasoning for Multiple Inheritance. In Michael Leuschel, Heike Wehrheim, editors, Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings. Volume 5423 of Lecture Notes in Computer Science, pages 215-230, Springer, 2009. [doi]

@inproceedings{DovlandJOS09,
  title = {Incremental Reasoning for Multiple Inheritance},
  author = {Johan Dovland and Einar Broch Johnsen and Olaf Owe and Martin Steffen},
  year = {2009},
  doi = {10.1007/978-3-642-00255-7_15},
  url = {http://dx.doi.org/10.1007/978-3-642-00255-7_15},
  tags = {incremental},
  researchr = {https://researchr.org/publication/DovlandJOS09},
  cites = {0},
  citedby = {0},
  pages = {215-230},
  booktitle = {Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings},
  editor = {Michael Leuschel and Heike Wehrheim},
  volume = {5423},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00254-0},
}