Accompanying artefact for "What does it take to certify conversion?"

2025/01/01 by Meven Lennon-Bertrand, Lennon-Bertrand, Meven · 1 citation
Computer Science · #Software Testing and Debugging Techniques

paper · pdf · doi:10.4230/lipics.fscd.2025.27

Abstract

Artefact described in the article “What does it take to certify conversion?”, to be published at FSCD 2025.

Cited by

• A Lazy, Concurrent Convertibility Checker

Related

• Refusal conversion
• FORMALITIES FOR TRUSTS OF LAND: 100 YEARS LATER
• Proceedings of the 4rd International Conference on Changing Paradigms & Future Directions in Higher Education
• An active aigiarism declaration for manuscript submission
• NON-FULFILMENT OF CONDITIONS PRECEDENT – A CRUDE FICTION REJECTED