Functionality problem in a class of relation schemas
From MaRDI portal
Publication:3951519
DOI10.1007/BF01068971zbMath0489.68010MaRDI QIDQ3951519
Publication date: 1981
Published in: Cybernetics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01068971
correctness proof; flowcharts of parallel algorithms; standard programs schemas; various recursive schemas
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work