Egon Boerger

Egon Boerger

Università di Pisa - Pisa / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1792878
University of Pisa
person_outline Egon Boerger's MOST POPULAR ARTICLES
1-) The abstract state machines method for high-level system design and analysisE BörgerFormal Methods: State of the Art and New Directions, 79-116, 201016302010
2-) The classical decision problemE Börger, E Grädel, Y GurevichSpringer Science & Business Media, 200110722001
3-) Java and the Java virtual machine: definition, verification, validationRF Stärk, J Schmid, E BörgerSpringer Science & Business Media, 20125522012
4-) Subject-oriented business process managementA Fleischmann, W Schmidt, C Stary, S Obermeier, E BörgerSpringer Nature, 20123512012
5-) The ASM refinement methodE BörgerFormal aspects of computing 15, 237-257, 20032292003