|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10695 occurrences of 4479 keywords
|
|
|
Results
Found 21465 publication records. Showing 21465 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Kenneth L. McMillan |
Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings, pp. 179-195, 2001, Springer, 3-540-42541-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Prahladh Harsha, Madhu Sudan 0001 |
Small PCPs with Low Query Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings, pp. 327-338, 2001, Springer, 3-540-41695-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Kees Huizing, Ruurd Kuiper 0001 |
Verification of Object Oriented Programs Using Class Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 208-221, 2000, Springer, 3-540-67261-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Baar, Ekkart Kindler, Hagen Völzer |
Verifying Intuition - ILF Checks DAWN Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings, pp. 404-424, 1999, Springer, 3-540-66132-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Qiao Haiyan |
Formalising Formulas-as-Types-as-Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers, pp. 174-193, 1999, Springer, 3-540-41517-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Fariba Sadri, Francesca Toni |
Abduction with Negation as Failure for Active and Reactive Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings, pp. 49-60, 1999, Springer, 3-540-67350-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Oded Goldreich 0001, Salil P. Vadhan |
Comparing Entropies in Statistical Zero Knowledge with Applications to the Structure of SZK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 14th Annual IEEE Conference on Computational Complexity, Atlanta, Georgia, USA, May 4-6, 1999, pp. 54-, 1999, IEEE Computer Society, 0-7695-0075-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Statistical Zero-Knowledge Proofs, Universal Hashing, Arthur-Merlin Games |
15 | Peter Lee 0001 |
Certifying, Optimizing Compilation (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 381, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Avellone, Mauro Ferrari 0002, Pierangelo Miglioli |
Synthesis of Programs in Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, pp. 81-100, 1998, Springer, 3-540-65765-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Arne Borälv |
The Industrial Success of Verification Tools Based on Stålmarck's Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings, pp. 7-10, 1997, Springer, 3-540-63166-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Momigliano, Mario Ornaghi |
Towards a Logic for Reasoning About Logic Programs Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings, pp. 226-244, 1997, Springer, 3-540-65074-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Markus Jakobsson, Moti Yung |
Proving Without Knowing: On Oblivious, Agnostic and Blindolded Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '96, 16th Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 1996, Proceedings, pp. 186-200, 1996, Springer, 3-540-61512-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Joe Kilian |
Improved Efficient Arguments (Preliminary Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '95, 15th Annual International Cryptology Conference, Santa Barbara, California, USA, August 27-31, 1995, Proceedings, pp. 311-324, 1995, Springer, 3-540-60221-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson |
A Graphical Tool for Proving Unity Progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings, pp. 17-32, 1994, Springer, 3-540-58450-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Matthew Wilding |
A Mechanically Verified Application for a Mechanically Verified Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings, pp. 268-279, 1993, Springer, 3-540-56922-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Femke van Raamsdonk |
Confluence and Superdevelopments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings, pp. 168-182, 1993, Springer, 3-540-56868-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Andrew Ireland |
The Use of Planning Critics in Mechanizing Inductive Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings, pp. 178-189, 1992, Springer, 3-540-55727-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Masami Hagiya |
Programming by Example and Proving by Example Using Higher-order Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings, pp. 588-602, 1990, Springer, 3-540-52885-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Joe Kilian |
Achieving Zero-Knowledge Robustly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '90, 10th Annual International Cryptology Conference, Santa Barbara, California, USA, August 11-15, 1990, Proceedings, pp. 313-325, 1990, Springer, 3-540-54508-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | R. D. Purdy |
Knowledge and Tools in Building GRANDJUR 1.1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Second International Conference on Artificial Intelligence and Law, ICAIL '89, Vancouver, BC, Canada, June 13-16, 1989, pp. 201-206, 1989, ACM, 0-89791-322-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Donald Simon |
Checking Natural Language Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 141-150, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Oliver J. Hall, Stavros Shiaeles, Fudong Li 0009 |
A Study of Ethereum's Transition from Proof-of-Work to Proof-of-Stake in Preventing Smart Contracts Criminal Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Network ![In: Network 4(1), pp. 33-47, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | B. Sriman, S. Ganesh Kumar |
An efficient quantum non-interactive zero knowledge proof for confidential transaction and quantum range proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 83(13), pp. 39411-39434, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Iván Abellán Álvarez, Vincent Gramlich, Johannes Sedlmeir |
Unsealing the secrets of blockchain consensus: A systematic comparison of the formal security of proof-of-work and proof-of-stake. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.14527, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Rameez Asif, Syed Raheel Hassan |
Shaping the future of Ethereum: exploring energy consumption in Proof-of-Work and Proof-of-Stake consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Blockchain ![In: Frontiers Blockchain 6, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Federico Flaviani, Walter Carballosa |
Education-oriented Proof Assistant Based on Calculational Logic: Proof Theory Algorithms and Assessment Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI Electron. J. ![In: CLEI Electron. J. 26(2), September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Damilare Peter Oyinloye, Je Sen Teh, Norziana Jamil, Jiashen Teh |
SIM-P - A Simplified Consensus Protocol Simulator: Applications to Proof of Reputation-X and Proof of Contribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 10(6, March 15), pp. 5083-5094, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Duong Dinh Tran, Thet Wai Mon, Kazuhiro Ogata 0001 |
Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PeerJ Comput. Sci. ![In: PeerJ Comput. Sci. 9, pp. e1284, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alexander V. Gheorghiu, David J. Pym |
Proof-theoretic Semantics and Tactical Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.02302, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Joshua A. Grochow |
Polynomial Identity Testing and the Ideal Proof System: PIT is in NP if and only if IPS can be p-simulated by a Cook-Reckhow proof system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.02184, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Youjia Zhang, Pingzhong Tang |
Collusion-proof And Sybil-proof Reward Mechanisms For Query Incentive Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.06061, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Gilles Dowek |
Automatic Proof Checking and Proof Construction by Tactics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.16224, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yongqi Wu, Sungmin Choi, Guining Liu, Xingjun Wang |
Proof of Directed Guiding Gradients: A New Proof of Learning Consensus Mechanism with Constant-time Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBC ![In: IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023, Dubai, United Arab Emirates, May 1-5, 2023, pp. 1-3, 2023, IEEE, 979-8-3503-1019-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Satoshi Hisayasu, Kazuhiro Kubo, Hoshina Uehara, Hiroko Shimizu, Hidekuni Takao |
Nano-Tactile Scanner with Dust-Proof and Drip-Proof Structure for High-Resolution Measurement of Skin Surface Textures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2023, Sydney, Australia, July 24-27, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-2447-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Steve Earth, Jeremy R. Johnson, Bruce W. Char |
Proof Buddy: A Tool to Aid Students in Proof Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE (2) ![In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, SIGCSE 2023, Toronto, ON, Canada, March 15-18, 2023., pp. 1259, 2023, ACM, 978-1-4503-9433-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Youjia Zhang, Pingzhong Tang |
Collusion-Proof and Sybil-Proof Reward Mechanisms for Query Incentive Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 5892-5899, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Tom Reichel, R. Wesley Henderson, Andrew Touchet, Andrew Gardner, Talia Ringer |
Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 14th International Conference on Interactive Theorem Proving, ITP 2023, July 31 to August 4, 2023, Białystok, Poland, pp. 26:1-26:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-284-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Matteo Manighetti |
Developing proof theory for proof exchange. (Developpements de théorie de la démonstration pour le partage de démonstrations). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
15 | Shi Yan |
Analysis on Blockchain Consensus Mechanism Based on Proof of Work and Proof of Stake. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.11545, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Valentin D. Richard |
Introducing Proof Tree Automata and Proof Tree Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.06294, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Abhishek Nair, Saranyu Chattopadhyay, Haoze Wu 0001, Alex Ozdemir, Clark W. Barrett |
Proof-Stitch: Proof Combination for Divide and Conquer SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.05201, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Dominic P. Mulligan, Nick Spinale |
The Supervisionary proof-checking kernel (or: a work-in-progress towards proof generating code). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.03332, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Léo Robert, Daiki Miyahara, Pascal Lafourcade 0001, Luc Libralesso, Takaaki Mizuki |
Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 285(Part), pp. 104858, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Roberto Maieli |
A Proof of the Focusing Theorem via MALL Proof Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings, pp. 1-17, 2022, Springer, 978-3-031-15297-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Georgios Drakopoulos, Eleanna Kafeza, Ioanna Giannoukou, Phivos Mylonas, Spyros Sioutas |
Simulating Blockchain Consensus Protocols in Julia: Proof of Work vs Proof of Stake. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIAI Workshops ![In: Artificial Intelligence Applications and Innovations. AIAI 2022 IFIP WG 12.5 International Workshops - MHDW 2022, 5G-PINE 2022, AIBMG 2022, ML@HC 2022, and AIBEI 2022, Hersonissos, Crete, Greece, June 17-20, 2022, Proceedings, pp. 357-369, 2022, Springer, 978-3-031-08340-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Takuro Fukasawa, Yoshifumi Manabe |
Card-Based Zero-Knowledge Proof for the Nearest Neighbor Property: Zero-Knowledge Proof of ABC End View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPACE ![In: Security, Privacy, and Applied Cryptography Engineering - 12th International Conference, SPACE 2022, Jaipur, India, December 9-12, 2022, Proceedings, pp. 147-161, 2022, Springer, 978-3-031-22828-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Dmytro Denysiuk, Tomas Sochor, Mariia Kapustian |
Proof of stake and Proof of work approach for malware detection technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IntelITSIS ![In: Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security, Khmelnytskyi, Ukraine, March 23-25, 2022., pp. 432-441, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Nicolas Magaud |
Proof Pearl: Formalizing Spreads and Packings of the Smallest Projective Space PG(3, 2) Using the Coq Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 13th International Conference on Interactive Theorem Proving, ITP 2022, August 7-10, 2022, Haifa, Israel., pp. 25:1-25:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-252-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Paolo Masci 0001, Aaron Dutle |
Proof Mate: An Interactive Proof Helper for PVS (Tool Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings, pp. 809-815, 2022, Springer, 978-3-031-06772-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Abhishek Anil Nair, Saranyu Chattopadhyay, Haoze Wu 0001, Alex Ozdemir, Clark W. Barrett |
Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 84-88, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Nur Arifin Akbar, Amgad Muneer, Narmine ElHakim, Suliman Mohamed Fati |
Distributed Hybrid Double-Spending Attack Prevention Mechanism for Proof-of-Work and Proof-of-Stake Blockchain Consensuses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Internet ![In: Future Internet 13(11), pp. 285, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Merlin Carl, Hinrich Lorenzen, Michael Schmitz |
Natural Language Proof Checking in Introduction to Proof Classes - First Experiences with Diproche. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021., pp. 59-70, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Cosimo Perini Brogi |
Natural deduction for intuitionistic belief: proof theory and proof-theoretic semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.01734, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Ryo Takemura |
Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 60(7), pp. 783-813, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Efe Ulas Akay Seyitoglu, Attila Altay Yavuz, Thang Hoang |
Proof-of-Useful-Randomness: Mitigating the Energy Waste in Blockchain Proof-of-Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECRYPT ![In: Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021, July 6-8, 2021., pp. 412-419, 2021, SCITEPRESS, 978-989-758-524-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yann Connan 0001 |
Contribution à la cryptographie post-quantique basée sur les codes correcteurs d'erreurs en métrique rang : Hash Proof Systems et cryptographie à bas coût. (Contribution to post-quantum code-based cryptography in rank metric : Hash Proof Systems and lightweight cryptography). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
15 | Hans-Jörg Schurr, Mathias Fleury, Haniel Barbosa, Pascal Fontaine |
Alethe: Towards a Generic SMT Proof Format (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP ![In: Proceedings Seventh Workshop on Proof eXchange for Theorem Proving, PxTP 2021, Pittsburg, PA, USA, July 11, 2021., pp. 49-54, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Quentin Garchery |
A Framework for Proof-carrying Logical Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP ![In: Proceedings Seventh Workshop on Proof eXchange for Theorem Proving, PxTP 2021, Pittsburg, PA, USA, July 11, 2021., pp. 5-23, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Nicolas Magaud |
Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP ![In: Proceedings Seventh Workshop on Proof eXchange for Theorem Proving, PxTP 2021, Pittsburg, PA, USA, July 11, 2021., pp. 40-47, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Maria Paola Bonacina |
Proof Generation in CDSAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP ![In: Proceedings Seventh Workshop on Proof eXchange for Theorem Proving, PxTP 2021, Pittsburg, PA, USA, July 11, 2021., pp. 1-4, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | |
Proof Society Summer Schools and Workshop on Proof Theory and its Applications Cosponsored by the Association for Symbolic Logic Swansea, UK September 8-13, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 26(3-4), pp. 313, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Adarsh Kumar, Deepak Kumar Sharma, Anand Nayyar, Saurabh Singh 0006, Byungun Yoon |
Lightweight Proof of Game (LPoG): A Proof of Work (PoW)'s Extended Lightweight Consensus Algorithm for Wearable Kidneys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 20(10), pp. 2868, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Kyriakos N. Kotsoglou |
Proof beyond a context-relevant doubt. A structural analysis of the standard of proof in criminal adjudication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 28(1), pp. 111-133, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Tuyet Duong, Lei Fan 0002, Jonathan Katz, Phuc Thai, Hong-Sheng Zhou |
2-hop Blockchain: Combining Proof-of-Work and Proof-of-Stake Securely. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS (2) ![In: Computer Security - ESORICS 2020 - 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II, pp. 697-712, 2020, Springer, 978-3-030-59012-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Samuel Masseport, Benoît Darties, Rodolphe Giroudeau, Jorick Lartigau |
Proof of Experience: empowering Proof of Work protocol with miner previous work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BRAINS ![In: 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, BRAINS 2020, Paris, France, September 28-30, 2020, pp. 57-58, 2020, IEEE, 978-1-7281-7091-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Ambili K. N, Jimmy Jose |
Comparison of proof-of-work based blockchains against federated consensus and proof-of-validation based blockchains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 1286, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Suha Orhun Mutluergil, Serdar Tasiran |
A mechanized refinement proof of the Chase-Lev deque using a proof system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 101(1), pp. 59-74, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Wai Kok Chan, Ji-Jian Chin, Vik Tor Goh |
Proof of Bid as Alternative to Proof of Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACeS ![In: Advances in Cyber Security - First International Conference, ACeS 2019, Penang, Malaysia, July 30 - August 1, 2019, Revised Selected Papers, pp. 60-73, 2019, Springer, 978-981-15-2692-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Sireesha Chiliveri, Jyostna Grandhi, Mahesh Uttam Patil, P. R. Lakshmi Eswari, Magesh Ethirajan |
ProveDoc: A Blockchain Based Proof of Existence with Proof of Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: 2019 International Conference on Information Technology (ICIT), Bhubaneswar, India, December 19-21, 2019, pp. 239-244, 2019, IEEE, 978-1-7281-6052-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Huajun Zhang, Zhenfu Cao, Xiaolei Dong, Jiachen Shen |
Proof of Multicopy via Proof of File Position in Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 157(1-2), pp. 141-151, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Joshua A. Grochow, Toniann Pitassi |
Circuit Complexity, Proof Complexity, and Polynomial Identity Testing: The Ideal Proof System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 65(6), pp. 37:1-37:59, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Adrián Riesco 0001, Kazuhiro Ogata 0001 |
Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 27(2), pp. 6:1-6:32, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Zhe Hou, Rajeev Goré, Alwen Tiu |
A labelled sequent calculus for BBI: proof theory and proof search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 28(4), pp. 809-872, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Tuyet Duong, Alexander Chepurnoy, Lei Fan 0002, Hong-Sheng Zhou |
TwinsCoin: A Cryptocurrency via Proof-of-Work and Proof-of-Stake. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCC@AsiaCCS ![In: Proceedings of the 2nd ACM Workshop on Blockchains, Cryptocurrencies, and Contracts, BCC@AsiaCCS 2018, Incheon, Republic of Korea, June 4, 2018, pp. 1-13, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, Tetsuo Hironaka |
Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, pp. 157-165, 2018, Springer, 978-3-030-02767-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Tengfei Xue, Yuyu Yuan, Zahir Ahmed, Krishna Moniz, Ganyuan Cao, Cong Wang 0003 |
Proof of Contribution: A Modification of Proof of Work to Increase Mining Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1, pp. 636-644, 2018, IEEE Computer Society, 978-1-5386-2667-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Johanna Ullrich, Nicholas Stifter, Aljosha Judmayer, Adrian Dabrowski, Edgar R. Weippl |
Proof-of-Blackouts? How Proof-of-Work Cryptocurrencies Could Affect Power Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Research in Attacks, Intrusions, and Defenses - 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings, pp. 184-203, 2018, Springer, 978-3-030-00469-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Madeleine de Cock Buning, Roeland de Bruin |
Autonomous intelligent cars: proof that the EPSRC Principles are future-proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Connect. Sci. ![In: Connect. Sci. 29(3), pp. 189-199, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Lei Fan 0002, Hong-Sheng Zhou |
iChing: A Scalable Proof-of-Stake Blockchain in the Open Setting (or, How to Mimic Nakamoto's Design via Proof-of-Stake). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2017, pp. 656, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Alexander Chepurnoy, Tuyet Duong, Lei Fan 0002, Hong-Sheng Zhou |
TwinsCoin: A Cryptocurrency via Proof-of-Work and Proof-of-Stake. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2017, pp. 232, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Adrián Riesco 0001, Kazuhiro Ogata 0001 |
A Formal Proof Generator from Semi-formal Proof Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, pp. 3-12, 2017, Springer, 978-3-319-67728-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Josephine Relaford-Doyle, Rafael E. Núñez |
When does a 'visual proof by induction' serve a proof-like function in mathematics? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 39th Annual Meeting of the Cognitive Science Society, CogSci 2017, London, UK, 16-29 July 2017, 2017, cognitivesciencesociety.org, 978-0-9911967-6-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Yutaka Nagashima, Ramana Kumar |
A Proof Strategy Language and Proof Script Generation for Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings, pp. 528-545, 2017, Springer, 978-3-319-63045-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Gilles Dowek |
Analyzing Individual Proofs as the Basis of Interoperability between Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP ![In: Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, PxTP 2017, Brasília, Brazil, 23-24 September 2017., pp. 3-12, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Yutaka Nagashima, Ramana Kumar |
A Proof Strategy Language and Proof Script Generation for Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.02941, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Alan Weir |
Informal Proof, Formal Proof, Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 9(1), pp. 23-43, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Nissim Francez |
Views of proof-theoretic semantics: reified proof-theoretic meanings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 26(2), pp. 479-494, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Karol Pak, Aleksy Schubert |
The impact of proof steps sequence on proof readability - experimental setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016., pp. 172-186, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Suha Orhun Mutluergil, Serdar Tasiran |
A Mechanized Refinement Proof of the Chase-Lev Deque Using a Proof System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETYS ![In: Networked Systems - 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers, pp. 280-294, 2016, Springer, 978-3-319-46139-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Naveen Sundar Govindarajulu, Selmer Bringsjord, Joshua Taylor |
Proof verification and proof discovery for relativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 192(7), pp. 2077-2094, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Fernando Ferreira 0001, Gilda Ferreira |
The Faithfulness of Fat: A Proof-Theoretic Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 103(6), pp. 1303-1311, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Ekaterina Komendantskaya, Patricia Johann |
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1511.07865, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Luís Cruz-Filipe, Peter Schneider-Kamp |
Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.08008, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Roberto Blanco, Dale Miller 0001 |
Proof Outlines as Proof Certificates: A System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoF'15 ![In: Proceedings First International Workshop on Focusing, WoF 2015, Suva, Fiji, 23rd November 2015., pp. 7-14, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | |
Every super-polynomial proof in purely implicational minimal logic has a polynomially sized proof in classical implicational propositional logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.06506, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Luís Cruz-Filipe, Peter Schneider-Kamp |
Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings, pp. 55-70, 2015, Springer, 978-3-319-20614-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Quentin Heath, Dale Miller 0001 |
A framework for proof certificates in finite state exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015., pp. 11-26, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | David Delahaye, Catherine Dubois, Claude Marché, David Mentré |
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 290-293, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Willem Heijltjes, Robin Houston 0001 |
No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL-LICS ![In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, pp. 50:1-50:10, 2014, ACM, 978-1-4503-2886-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Zachary Tatlock |
Reducing the Costs of Proof Assistant Based Formal Verification or : Conviction without the Burden of Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
|
|