| Title: |
formal Aspects of Computing
|
| Abbrev: |
FORMAL ASPECTS OF COMPUTING INTERNATIONAL JOURNAL OF FORMAL METHODS |
| Abbrev: |
FORM. ASP. COMPUT |
| Abbrev: |
FORM ASP COMPUT |
| Alternative: |
Formal Aspects of Computing |
| ISSN: |
0934-5043 |
| LCCN: |
00227046 |
| CODEN: |
FACME5 |
|
Peer-Reviewed:
|
Yes
|
| |
| Availability: |
ACM Digital Library Complete
|
| |
|
|
|
Available from
1989/03/01
volume: 1
issue: 1
|
|
| Authentication: |
NTK |
| |
| Availability: |
EZB-FREE-01824 free EZB journals Computer Science
|
| |
|
|
|
Available from
1989
volume: 1
issue: 1
|
|
| |
| Availability: |
ProQuest Central
|
| |
|
|
|
Available from
2002/05/01
until (and including)
2019/01/31
|
|
| Authentication: |
NTK, ÚOCHB |
| |
| Availability: |
SpringerLink Journals
|
| |
|
|
|
Available from
1997/01/01
volume: 9
issue: 1
|
|
| Authentication: |
NTK, ÚOCHB, VŠCHT |
| |
| Availability: |
Technology Collection
|
| |
|
|
|
Available from
2002/05/01
until (and including)
2019/01/31
|
|
| Authentication: |
ÚOCHB |
