通过

The Spec Explorer Story on WG’s Logbook

  • 项目

I posted a personal account of the history of Spec Explorer on my blog: how it is related to AsmL, Spec#, NModel, etc. Take a look if you are interested.