Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen... - Autor(en)
- ACM SIGSOFT International Symposium on Foundations of Software Engineering Atlanta, Ga.) 2008 : (16th :; ACM SIGSOFT International Symposium on Foundations of Software Engineering Corporate Author; Harrold, Mary Jean
- Artikel
- Modular verification of web services using efficient symbolic encoding and summarization
- Titel
- SIGSOFT 2008/FSE-16 : proceedings of the sixteenth ACM SIGSOFT International Symposium on the Foundations of Software Engineering : November 9-14, 2008, Atlanta, Georgia, USA
- Verlag
- ACM
- Ort
- [Place of publication not identified]
- Erscheinungsjahr
- 2008
Es wurden folgende elektronische Volltexte gefunden