Sep. 18th, 2015

wizzard: (Default)
уважаемые жж-юзеры, а никто здесь случайно не шарит PlusCal и TLA+ ?

хочу кое-чего проспецифицировать и проверить на живость

Profile

wizzard: (Default)
wizzard

January 2019

S M T W T F S
  12 345
6789101112
1314 1516171819
202122 23242526
2728293031  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Apr. 26th, 2019 02:34 pm
Powered by Dreamwidth Studios