Return to Issue Details
Темпоральные логики для спецификации свойств программных и аппаратных систем
Download
Download PDF