FermaT

MaRDI QIDQ28414swMATHFDO

Official website http://www.gkc.org.uk/tutorial.pdf

Cited in

(6)

• Provably correct derivation of algorithms using FermaT
• Combining dynamic and static slicing for analysing assembler
• RAISE
• Consit
• mural
• Bogart

This page was built for software: FermaT