FermaT

swMATH16545MaRDI QIDQ28414FDOQ28414

Author name not available (Why is that?)

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

Cited In (5)

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

This page was built for software: FermaT