Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Record link:
http://hdl.handle.net/20.500.12708/18614
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_6
-
Title:
Algorithms for the People
en
Citation:
Kamara, S. (2021). Algorithms for the People. In
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
(pp. 11–11). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_6
-
reposiTUm DOI:
10.34727/2021/isbn.978-3-85448-046-4_6
-
Publication Type:
Konferenzbeitrag
de
Inproceedings
en
Language:
English
-
Authors:
Kamara, Seny
-
Organisational Unit:
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Series:
Conference Series: Formal Methods in Computer-Aided Design
-
Published in:
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
-
Date (published):
Oct-2021
-
Number of Pages:
1
-
Publisher:
TU Wien Academic Press
-
Publisher:
Wien
-
Peer reviewed:
Yes
-
Keywords:
formal methods
en
formale Methode
de
License:
CC BY 4.0
en
Appears in Collections:
Open Access Series
Conference Paper
Fulltext (Version of Record (published version))
Adobe PDF
(65.08 kB)
CC BY 4.0
Show full item record
This item is licensed under a
Creative Commons License
Page view(s)
153
checked on Feb 1, 2023
Download(s)
20
checked on Feb 1, 2023
Google Scholar
TM
Check