Formal methods in computer technologies
The work
| Authors | I. V. Sergienko; I. N. Parasyuk; A. I. Provotar |
|---|---|
| Editors | |
| Type | article |
| Year | 1998 |
| Citekey | sergienko1998formal |
Where it appeared
| Published in | Cybernetics and Systems Analysis |
|---|---|
| Volume | 34 |
| Issue | 4 |
| Pages | 609--615 |
Settled
| Abstract | Established by reading and recorded in a note on this record, but never written into the field, so the queue went on asking. The note says: "No abstract, and the record should stay that way." This settle puts that finding where the queue can see it. |
|---|
A copy is held
pdf, 848.1 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-04 00:00 UTC |
| Approved by | a person 2026-08-05 21:08 UTC |
Filed under
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.