Repair of boolean programs with an application to C

Andreas Griesmayer, Roderick Paul Bloem, Cook Byron

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationComputer Aided Verification
PublisherSpringer
Pages358-371
Volume4144
Publication statusPublished - 2006
EventInternational Conference on Computer Aided Verification - Seattle, Washington, United States
Duration: 15 Aug 200620 Aug 2006

Publication series

NameLNCS
PublisherSpringer

Conference

ConferenceInternational Conference on Computer Aided Verification
CountryUnited States
CitySeattle, Washington
Period15/08/0620/08/06

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this

Griesmayer, A., Bloem, R. P., & Byron, C. (2006). Repair of boolean programs with an application to C. In Computer Aided Verification (Vol. 4144, pp. 358-371). (LNCS). Springer.

Repair of boolean programs with an application to C. / Griesmayer, Andreas; Bloem, Roderick Paul; Byron, Cook.

Computer Aided Verification. Vol. 4144 Springer, 2006. p. 358-371 (LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Griesmayer, A, Bloem, RP & Byron, C 2006, Repair of boolean programs with an application to C. in Computer Aided Verification. vol. 4144, LNCS, Springer, pp. 358-371, International Conference on Computer Aided Verification, Seattle, Washington, United States, 15/08/06.
Griesmayer A, Bloem RP, Byron C. Repair of boolean programs with an application to C. In Computer Aided Verification. Vol. 4144. Springer. 2006. p. 358-371. (LNCS).
Griesmayer, Andreas ; Bloem, Roderick Paul ; Byron, Cook. / Repair of boolean programs with an application to C. Computer Aided Verification. Vol. 4144 Springer, 2006. pp. 358-371 (LNCS).
@inproceedings{b61c8671c57f4d239d45a457d63e2d4b,
title = "Repair of boolean programs with an application to C",
author = "Andreas Griesmayer and Bloem, {Roderick Paul} and Cook Byron",
year = "2006",
language = "English",
volume = "4144",
series = "LNCS",
publisher = "Springer",
pages = "358--371",
booktitle = "Computer Aided Verification",

}

TY - GEN

T1 - Repair of boolean programs with an application to C

AU - Griesmayer, Andreas

AU - Bloem, Roderick Paul

AU - Byron, Cook

PY - 2006

Y1 - 2006

M3 - Conference contribution

VL - 4144

T3 - LNCS

SP - 358

EP - 371

BT - Computer Aided Verification

PB - Springer

ER -