Formal methods in computer technologies
The work
| Title | Formal methods in computer technologies |
|---|---|
| Authors | I. V. Sergienko; I. N. Parasyuk; A. I. Provotar |
| Type | article |
| Year | 1998 |
| Citekey | sergienko1998formal |
Where it appeared
| Published in | Cybernetics and Systems Analysis |
|---|---|
| Volume | 34 |
| Issue | 4 |
| Pages | 609--615 |
Copy held
| Kind | PDF, 868.4 kB |
|---|---|
| Retrieved | 2026-08-05 |
| Held | local, for personal reference |
Where this came from
| How it got here | already cited · cited in bibtex |
|---|---|
| First seen | 2026-08-04 |
| Standing | endorsed |
| Approved | 2026-08-05 |
Cite it as
@article{sergienko1998formal,
title = {Formal methods in computer technologies},
author = {I. V. Sergienko and I. N. Parasyuk and A. I. Provotar},
year = {1998},
journal = {Cybernetics and Systems Analysis},
volume = {34},
number = {4},
pages = {609--615},
}
This record lives at https://refs.drheap.org/sergienko1998formal/ and will keep doing so.