Sortiert nach
Lecture notes in computer science, 2006, p.364-387
2006
Volltextzugriff (PDF)
ACM computing surveys, 2012-06, Vol.44 (3), p.1-58
2012
Volltextzugriff (PDF)
IEEE software, 2017-11, Vol.34 (6), p.94-97
2017
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, p.348-370
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2005-06, Vol.7 (3), p.212-232
2005
Volltextzugriff (PDF)
Information processing letters, 2005-03, Vol.93 (6), p.281-288
2005
Volltextzugriff (PDF)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2005, p.49-69
2005
Volltextzugriff (PDF)
Formal aspects of computing, 2007-06, Vol.19 (2), p.159-189
2007
Volltextzugriff (PDF)
Formal aspects of computing, 2012-07, Vol.24 (4-6), p.519-535
2012
Volltextzugriff (PDF)
Information processing letters, 2001-02, Vol.77 (2), p.97-108
2001
Volltextzugriff (PDF)
ECOOP 2004 – Object-Oriented Programming, 2004, p.491-515
2004
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.315-334
Volltextzugriff (PDF)
2011, 2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-04, Vol.149 (Proc. F-IDE 2014), p.3-15
2014
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.41-62
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-06, Vol.209 (Proc. Refine 2015), p.87-106
2016
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, Vol.3780, p.119-134
2005
Volltextzugriff (PDF)
Information processing letters, 2001-02, Vol.77 (2), p.169-171
2001
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2013-04, Vol.15 (2), p.85-88
2013
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2008-12, Vol.31 (1), p.1-48
2008
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Computer Science, Information Systems
- Software Engineering
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Logic
- Science & Technology - Other Topics
- Software
- Programming Languages
- Computer Programming / Software Development
- Proof Obligation
- Network Hardware
- Separation Logic
- Theoretical Computing
- Verification
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect
- Springer Book Series
- ACM Digital Library Complete
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Electronic Library (IEL)
- SpringerLink Journals - AutoHoldings
- Business Source Ultimate
- Wiley-Blackwell Journals
- ProQuest Dissertations & Theses A&I
- IngentaConnect Journals
- Wiley Online Library
- Journals@Ovid Ovid Full Text
Zeitschrift / Serie
- Formal Aspects Of Computing
- Information Processing Letters
- Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Communications Of The Acm
- Electronic Notes In Theoretical Computer Science
- Acm Sigada Ada Letters
- Acm Sigplan Notices
- Ada Letters
- Electronic Proceedings In Theoretical Computer Science