RUS
ENG
Full version
JOURNALS
// Avtomatika i Telemekhanika
// Archive
Avtomat. i Telemekh.,
1995
Issue 2,
Pages
164–189
(Mi at3575)
Computer-Aided Design and Programming
On an approach to the construction of languages of functional correctness-oriented specifications
N. A. Abramova
Institute of Control Sciences, Russian Academy of Sciences, Moscow
UDC:
519.715
Received:
12.04.1994
Fulltext:
PDF file (4411 kB)
English version:
Automation and Remote Control, 1995,
56
:2,
287–310
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (4411 kB)