FermaT
From MaRDI portal
Software:28414
No author found.
Related Items (2)
Combining dynamic and static slicing for analysing assembler ⋮ Provably correct derivation of algorithms using FermaT
This page was built for software: FermaT