Home
Login
Register
Account
Logout
Categories
CFPs
Post a CFP
Conf Series
My List
Timeline
My Archive
On iPhone
On Android
2019
2020
2019+
all
posted by user:
afshinamighi
|| 2059 views || tracked by 5 users:
[
display
]
afshinamighi
,
lghn1984
,
akashoshin
,
arturufms
,
joaopizani
[
hide
]
CPP 2013 : Certified Programs and Proofs
Link:
http://cpp2013.forge.nicta.com.au/
When
Dec 9, 2013 - Dec 11, 2013
Where
Melbourne, Australia
Abstract Registration Due
May 30, 2013
Submission Deadline
Jun 7, 2013
Categories
formal verification
mechanized verification
Call For Papers
[Empty]
Related Resources
EuroPLoP 2019
24th European Conference on Pattern Languages of Programs
