Toggle Main Menu Toggle Search

Open Access padlockePrints

Abstraction is all we've got: auxiliary variables considered harmful

Lookup NU author(s): Professor Cliff Jones

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Publication metadata

Author(s): Jones CB

Editor(s): Abrial, J-R., Butler, M., Joshi, R., Troubitsyna, E., Woodcock, J.C.P.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Dagstuhl 09381: Refinement Based Methods for the Construction of Dependable Systems

Year of Conference: 2009

Pages: 94-98

URL: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=2374


Share