Revision 4ac90cf0 - Синтаксис формализован. В процессе доказательств нужных свойств - MCC/LiME - Мультиклет

« Previous | Next »

Revision 4ac90cf0

Added by m.bakhterev almost 12 years ago

ID 4ac90cf04bc16177651ea93361fb43b72f8ac6aa
Parent 26b948d6
Child d685c11a

Синтаксис формализован. В процессе доказательств нужных свойств

Files

added
modified
copied
renamed
deleted

View differences

txt
- ru
  - spec.txt (diff)