Association for Computing Machinery (ACM)
ACM Inroads
,  volume 15 ,  issue 4 ,  pages 58-66

The Role of Formal Methods in Computer Science Education

Maurice ter Beek 1
, 
Maurice ter Beek 2
, 
MANFRED BROY 3
, 
Brijesh Dongol 4
1
 
CNR--IST
2
 
CNR-ISTI
3
 
4
 
University of Surrey | 
Publication type: Journal Article
Publication date: 2024-11-11
Association for Computing Machinery (ACM)
scimago Q2
SJR: 0.371
CiteScore: 2.1
Impact factor: —
ISSN: 21532184, 21532192
Found 
Found 

Top-30

Journals

1
2
3
Lecture Notes in Computer Science
Lecture Notes in Computer Science, 3, 42.86%
Lecture Notes in Computer Science
3 publications, 42.86%
Software and Systems Modeling
Software and Systems Modeling, 1, 14.29%
Software and Systems Modeling
1 publication, 14.29%
Formal Aspects of Computing
Formal Aspects of Computing, 1, 14.29%
Formal Aspects of Computing
1 publication, 14.29%
1
2
3

Publishers

1
2
3
4
Springer Nature
Springer Nature, 4, 57.14%
Springer Nature
4 publications, 57.14%
Association for Computing Machinery (ACM)
Association for Computing Machinery (ACM), 3, 42.86%
Association for Computing Machinery (ACM)
3 publications, 42.86%
1
2
3
4
  • We do not take into account publications without a DOI.
  • Statistics recalculated weekly.

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.
Metrics
7
Share
Cite this
GOST |
Cite this
GOST Copy
Beek M. T. et al. The Role of Formal Methods in Computer Science Education // ACM Inroads. 2024. Vol. 15. No. 4. pp. 58-66.
GOST all authors (up to 50) Copy
Beek M. T., ter Beek M., BROY M., Dongol B. The Role of Formal Methods in Computer Science Education // ACM Inroads. 2024. Vol. 15. No. 4. pp. 58-66.
RIS |
Cite this
RIS Copy
TY - JOUR
DO - 10.1145/3702231
UR - https://dl.acm.org/doi/10.1145/3702231
TI - The Role of Formal Methods in Computer Science Education
T2 - ACM Inroads
AU - Beek, Maurice ter
AU - ter Beek, Maurice
AU - BROY, MANFRED
AU - Dongol, Brijesh
PY - 2024
DA - 2024/11/11
PB - Association for Computing Machinery (ACM)
SP - 58-66
IS - 4
VL - 15
SN - 2153-2184
SN - 2153-2192
ER -
BibTex |
Cite this
BibTex (up to 50 authors) Copy
@article{2024_Beek,
author = {Maurice ter Beek and Maurice ter Beek and MANFRED BROY and Brijesh Dongol},
title = {The Role of Formal Methods in Computer Science Education},
journal = {ACM Inroads},
year = {2024},
volume = {15},
publisher = {Association for Computing Machinery (ACM)},
month = {nov},
url = {https://dl.acm.org/doi/10.1145/3702231},
number = {4},
pages = {58--66},
doi = {10.1145/3702231}
}
MLA
Cite this
MLA Copy
Beek, Maurice ter, et al. “The Role of Formal Methods in Computer Science Education.” ACM Inroads, vol. 15, no. 4, Nov. 2024, pp. 58-66. https://dl.acm.org/doi/10.1145/3702231.