Component-based verification using incremental design and invariants

Overview of attention for article published in Software and Systems Modeling, April 2014

Altmetric Badge

About this Attention Score

So far, Altmetric has seen 1 X post from an account with 314 followers.

Component-based verification using incremental design and invariants - Springer https://t.co/IHFkA1TcMA