Login / Signup

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.

Florian LanzingerChristian MartinFrederik ReicheSamuel TeuberRobert HeinrichAlexander Weigl
Published in: SAC (2024)
Keyphrases