FermaT

swMATH16545MaRDI QIDQ28414FDOQ28414

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: FermaT