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.
Ta przeglądarka nie jest już obsługiwana.
Przejdź na przeglądarkę Microsoft Edge, aby korzystać z najnowszych funkcji, aktualizacji zabezpieczeń i pomocy technicznej.
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.