Enumerative Data Types with Constraints
Walter, Andrew T., Greve, David, Manolios, Panagiotis
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
ACL2s Systems Programming
Walter, Andrew T., Manolios, Panagiotis
Published in Electronic proceedings in theoretical computer science (24.05.2022)
Published in Electronic proceedings in theoretical computer science (24.05.2022)
Get full text
Journal Article
Proving Calculational Proofs Correct
Walter, Andrew T., Kumar, Ankit, Manolios, Panagiotis
Published in Electronic proceedings in theoretical computer science (14.11.2023)
Published in Electronic proceedings in theoretical computer science (14.11.2023)
Get full text
Journal Article