Sm@RT Research Team

Sm@RT Research Team

Home
People
Publications
Talks
Projects
Contact

Light Dark Automatic

"Auto-Proof"

A contract-based method to specify stimulus-response requirements

PDF Cite

© 2025 - ACDC. Last update: April, 15th, 2025

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite