specification tricks

0 views

Skip to first unread message

unread,

Jan 1, 2026, 12:21:52 PM (11 days ago) Jan 1

to pi...@googlegroups.com

i have yet to use anything like Alloy ot TLA+ etc. but day-dream that some day industry will become more interested.

Reply all

Reply to author

Forward

0 new messages