共用方式為

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.