Towards Logic-Based Verification of JavaScript Programs

Rezultati

Naziv:	Towards Logic-Based Verification of JavaScript Programs
Autori:	Santos, Jose Fragoso; Gardner, Philippa; Maksimovic, Petar; Naudziuniene, Daiva
Godina:	2017
Publikacija:	AUTOMATED DEDUCTION - CADE 26
ISSN:	0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Pretraži identifikator
Tip rezultata:	Konferencijski rad
Kolacija:	vol. 10395 str. 8-25
DOI:	10.1007/978-3-319-63046-5_2
WoS-ID:	000437512300002
Scopus-ID:	2-s2.0-85026740968
URI:	https://enauka.gov.rs/handle/123456789/813162
Projekat:	EPSRC Programme Grant REMS: Rigorous Engineering for Mainstream Systems [EP/K008528/1] Department of Computing in Imperial College London EPSRC DTA award Serbian Ministry of Education and Science through the Mathematical Institute of Serbian Academy of
Izvor metapodataka:	(Preuzeto iz Nasi u WoS)
M-kategorija:	Mp kategorija će biti prikazana naknadno.

1
SCOPUS^TM

3
OpenCitations

1
WEB OF SCIENCE^TM

Alt metrika

Dimensions

Unpaywall

Google Scholar^TM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.