Sortiert nach
Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2017-10, Vol.375 (2104), p.20150404-20150404
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-11, Vol.196 (Proc. MARS 2015), p.10-24
2015
Volltextzugriff (PDF)
ACM transactions on computer systems, 2014-02, Vol.32 (1), p.1-70
2014
Volltextzugriff (PDF)
Formal Methods – The Next 30 Years, p.11-17
Volltextzugriff (PDF)
Computer (Long Beach, Calif.), 2018-11, Vol.51 (11), p.14-23
2018
Volltextzugriff (PDF)
Information and software technology, 2015-04, Vol.60, p.102-112
2015
Volltextzugriff (PDF)
Automated Deduction - CADE 26, 2017, Vol.10395, p.1-7
2017
Volltextzugriff (PDF)
2022 Formal Methods in Computer-Aided Design (FMCAD), 2022, p.1-1
2022
Volltextzugriff (PDF)
Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2017-10, Vol.375 (2104), p.1-23
2017
Volltextzugriff (PDF)
Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2022, p.1-1
2022
Volltextzugriff (PDF)
Formal Verification of Object-Oriented Software, p.1-9
Volltextzugriff (PDF)
Interactive Theorem Proving, p.52-68
Volltextzugriff (PDF)
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015, Vol.1, p.722-732
2015
Volltextzugriff (PDF)
Interactive Theorem Proving, p.99-115
Volltextzugriff (PDF)
FM 2015: Formal Methods, p.273-290
Volltextzugriff (PDF)
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, 2009, p.207-220
2009
Volltextzugriff (PDF)
FM 2005: Formal Methods, 2005, p.302-317
2005
Volltextzugriff (PDF)
2013 35th International Conference on Software Engineering (ICSE), 2013, p.1257-1260
2013
Volltextzugriff (PDF)
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014, p.429-439
2014
Volltextzugriff (PDF)
Theorem Proving in Higher Order Logics, p.500-515
Volltextzugriff (PDF)
Proceedings of the 34th International Conference on Software Engineering, 2012, p.1002-1011
2012
Volltextzugriff (PDF)
2012 34th International Conference on Software Engineering (ICSE), 2012, p.1002-1011
2012
Volltextzugriff (PDF)
Interactive Theorem Proving, p.325-340
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.335-351
2003
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.70-85
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Software
- Formal Verification
- Computer Science, Hardware & Architecture
- Sel4
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Microkernel
- Operating Systems
- Proof Engineering
- Security
- Software Engineering
- Abstracts
- Engineering
- Engineering, Electrical & Electronic
Kollektion
Zeitschrift / Serie
- Communications Of The Acm
- Philosophical Transactions Of The Royal Society Of London. Series A: Mathematical, Physical, And Engineering Sciences
- Acm Transactions On Computer Systems
- Computer
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Information And Software Technology
- Philosophical Transactions - Royal Society. Mathematical, Physical And Engineering Sciences/philosophical Transactions - Royal Society. Mathematical, Physical And Engineering Sciences
- Sigplan Notices