Standard
Scripting languages and frameworks : analysis and verification (Dagstuhl Seminar 14271). / Henglein, Fritz (Redaktør); Jhala, Ranjit (Redaktør); Krishnamurthi, Shriram (Redaktør); Thiemann, Peter (Redaktør).
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014. 24 s. (Dagstuhl Reports; Nr. 6, Bind 4).
Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Harvard
Henglein, F, Jhala, R, Krishnamurthi, S & Thiemann, P (red) 2014,
Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271). Dagstuhl Reports, nr. 6, bind 4, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
https://doi.org/10.4230/DagRep.4.6.84
APA
Henglein, F., Jhala, R., Krishnamurthi, S., & Thiemann, P. (red.) (2014).
Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Dagstuhl Reports Bind 4 Nr. 6
https://doi.org/10.4230/DagRep.4.6.84
Vancouver
Henglein F, (ed.), Jhala R, (ed.), Krishnamurthi S, (ed.), Thiemann P, (ed.).
Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014. 24 s. (Dagstuhl Reports; Nr. 6, Bind 4).
https://doi.org/10.4230/DagRep.4.6.84
Author
Henglein, Fritz (Redaktør) ; Jhala, Ranjit (Redaktør) ; Krishnamurthi, Shriram (Redaktør) ; Thiemann, Peter (Redaktør). / Scripting languages and frameworks : analysis and verification (Dagstuhl Seminar 14271). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014. 24 s. (Dagstuhl Reports; Nr. 6, Bind 4).
Bibtex
@book{bcba65d69b9145dc90ce32c2de20f1d9,
title = "Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271)",
editor = "Fritz Henglein and Ranjit Jhala and Shriram Krishnamurthi and Peter Thiemann",
year = "2014",
doi = "10.4230/DagRep.4.6.84",
language = "English",
series = "Dagstuhl Reports",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",
number = "6",
}
RIS
TY - RPRT
T1 - Scripting languages and frameworks
T2 - analysis and verification (Dagstuhl Seminar 14271)
A2 - Henglein, Fritz
A2 - Jhala, Ranjit
A2 - Krishnamurthi, Shriram
A2 - Thiemann, Peter
PY - 2014
Y1 - 2014
U2 - 10.4230/DagRep.4.6.84
DO - 10.4230/DagRep.4.6.84
M3 - Report
T3 - Dagstuhl Reports
BT - Scripting languages and frameworks
PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik
ER -
