Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
3 results for "domain:ceur-ws.org"
4
Bidirectional Certified Programming (2017)
☶
pdf
formalmethods
ml
ceur-ws.org
via
nickpsecurity
3 months ago
|
cached
|
no comments
0
3
Foundations of Semantics and Model Checking in a Software Engineering Course (2015)
pdf
compsci
formalmethods
programming
ceur-ws.org
via
nickpsecurity
1 year ago
|
cached
|
1 comment
1
7
Prolog-based reasoning layer for counter-strike agents (2012)
pdf
games
programming
ceur-ws.org
via
nickpsecurity
1 year ago
|
cached
|
no comments
0