Follow our Telegram channel to get notified instantly whenever new books are published.
Follow our Telegram channel to get notified instantly whenever new books are published.
Tag Gilles Barthe, Joost Pieter Katoen, Alexandra Silva
Barthe, Katoen, and Silva (Gilles Barthe, Joost Pieter Katoen, Alexandra Silva) are world-class experts who have authored the definitive, industry-standard guides for mastering professional formal methods.