Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
expression javascript » expressive javascript, expression transcript, addressing javascript
javascript programs » javascript programmer's, javascript programming
programs proving » programs improving, programs deriving, programs serving
proving utility » improving utility, proving optimality, proving atomicity
https » http
expression javascript » expressive javascript, expression transcript, addressing javascript
javascript programs » javascript programmer's, javascript programming
programs proving » programs improving, programs deriving, programs serving
proving utility » improving utility, proving optimality, proving atomicity
https » http
1
Published 2015
Table of Contents:
“...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”View full text
Electronic
eBook
