↓ Skip to main content
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Altmetric
Altmetric Badge
Mentioned by
news
1
news outlet
twitter
9
X users
facebook
1
Facebook page
wikipedia
1
Wikipedia page
Readers on
mendeley
14
Mendeley
Summary
News
X
Facebook
Wikipedia
So far, Altmetric has seen
1
public wall post.
Automated Testing,
13 Sep 2016
http://www.springer.com/us/book/9783662436516