Efficient Relational Calculation for Software Analysis
Author: | Dirk Beyer, Andreas Noack, Claus Lewerentz |
---|---|
Document Type: | Article |
Language: | English |
Year of publication: | 2005 |
Quelle aus UBICO: | IEEE Transactions on Software Engineering 31(2005)2, S. 137-149, 0098-5589 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Praktische Informatik / Softwaresystemtechnik |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Praktische Informatik / Software-Systemtechnik |