StEAM

swMATH1987MaRDI QIDQ14535FDOQ14535

Author name not available (Why is that?)

Described by source

• Model Checking Software

Cited In (2)

• Computer Aided Verification
• Application of static analyses for state-space reduction to the microcontroller binary code

This page was built for software: StEAM