Works matching IS 18438121 AND DT 2022 AND VI 32 AND IP 2
Results: 5
Program Algebra for Random Access Machine Programs.
- Published in:
- Scientific Annals of Computer Science, 2022, v. 32, n. 2, p. 285, doi. 10.7561/SACS.2022.2.285
- By:
- Publication type:
- Article
An Enhanced Fluid Registration for Image Multi-Frame Super Resolution.
- Published in:
- Scientific Annals of Computer Science, 2022, v. 32, n. 2, p. 255, doi. 10.7561/SACS.2022.2.255
- By:
- Publication type:
- Article
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.
- Published in:
- Scientific Annals of Computer Science, 2022, v. 32, n. 2, p. 211, doi. 10.7561/SACS.2022.2.211
- By:
- Publication type:
- Article
Four Notions of Fault for Program Specifications.
- Published in:
- Scientific Annals of Computer Science, 2022, v. 32, n. 2, p. 183, doi. 10.7561/SACS.2022.2.183
- By:
- Publication type:
- Article
New Editorial Team for SACS after 16 Years.
- Published in:
- Scientific Annals of Computer Science, 2022, v. 32, n. 2, p. 181, doi. 10.7561/SACS.2022.2.181
- By:
- Publication type:
- Article