25-26 March 2006, Vienna, Austria A satellite event of the ETAPS 2006 group of conferences |
@proceedings{Sheeran:2006:FIW, EDITOR = {Mary Sheeran and Tom Melham}, TITLE = {Sixth International Workshop on {D}esigning {C}orrect {C}ircuits: {V}ienna, 25--26 {M}arch 2006: Participants' Proceedings}, PUBLISHER = {ETAPS 2006}, NOTE = {A Satellite Event of the {ETAPS} 2006 group of conferences}, YEAR = {2006}, MONTH = {March}}