1. Verified Software Units for Simple DFA Modules and Objects in C;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022
2. Debris;10th International Conference on Digital and Interactive Arts;2021-10-13
3. Bibliography;Software;2021-09-06
4. Verified Software Units;Programming Languages and Systems;2021
5. References;Microprocessor 4;2020-12-11