Dr. Ingo Brückner

 

1 Theses (BibTeX Source)

@PHDTHESIS{Bruckner2008,
  AUTHOR = {I. Br\"uckner},
  TITLE = {Slicing Integrated Formal Specifications for Verification},
  SCHOOL = {University of Oldenburg},
  YEAR = {2008},
  MONTH = {March}
}


@TECHREPORT{Bruckner2008a,
  AUTHOR = {Br\"uckner, I.},
  TITLE = {Slicing Integrated Formal Specifications for Verification},
  INSTITUTION = {University of Oldenburg},
  YEAR = {2008},
  TYPE = {Reports of the Department for Computing Science},
  NUMBER = {2/08},
  MONTH = {March},
  NOTE = {ISSN: 0946-2910}
}