9783540761020 - designing correct circuits: proceedings of the 3rd workshop on designing correct circuits (dcc96), bastad, sweden, 2-4 september 1996 (electronic workshops in computing) (1 Ergebnisse)