
Open access
Author
Mehta, Farhad Dinshaw
Date
2008Type
- Doctoral Thesis
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-005635243Publication status
publishedExternal links
Search via SFX
Contributors
Supervisor: Müller, PeterSupervisor: Abrial, Jean-Raymond
Publisher
ETHSubject
DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE); DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ); SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS); SOFTWARE ENGINEERING; SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME)Organisational unit
03653 - Müller, Peter02150 - Departement Informatik / Department of Computer Science
More
Show all metadata
Altmetrics