Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Record link: 
http://hdl.handle.net/20.500.12708/57376
-
Title: 
A FOOLish Encoding of the Next State Relations of Imperative Programs
en
Citation: 
Kotelnikov, E., Kovács, L., & Voronkov, A. (2018). A FOOLish Encoding of the Next State Relations of Imperative Programs. In Automated Reasoning (pp. 405–421). LNCS. https://doi.org/10.1007/978-3-319-94205-6_27
-
Publisher DOI: 
10.1007/978-3-319-94205-6_27
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Authors: 
Kotelnikov, Evgenii 
Kovács, Laura 
Voronkov, Andrei 
-
Organisational Unit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Published in: 
Automated Reasoning 
-
Date (published): 
2018
-
Event name: 
9th International Joint Conference on Automated Reasoning (IJCAR) 2018 
en
Event date: 
14-Aug-2018 - 17-Aug-2018
-
Event place: 
Oxford, United Kingdom of Great Britain and Northern Ireland (the)
-
Number of Pages: 
17
-
Publisher: 
LNCS, 10900
-
Peer reviewed: 
Yes
-
Additional information: 
Public link: https://doi.org/10.1007/978-3-319-94205-6
-
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
Informatik
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

244
checked on Nov 23, 2023

Google ScholarTM

Check