Formal MethodsGuest Editorial
| dc.creator | Banach,Richard | |
| dc.date | 2007 | |
| dc.date.accessioned | 2024-02-06T12:55:22Z | |
| dc.date.available | 2024-02-06T12:55:22Z | |
| dc.description | This introductory paper gives some historical background to the emergence of formalmethods, overviews what subsequently happened, and surveys prospects for the future. Brief introductions to the remaining papers in the Special Issue are given. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-013-05-0593 | |
| dc.identifier | https://lib.jucs.org/article/28780/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/9339 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 13(5): 593-601 | |
| dc.subject | formal methods | |
| dc.title | Formal MethodsGuest Editorial | |
| dc.type | Research Article |