←
Grįžti prie informacijos apie straipsnį
Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine
Atsiųsti