Previous
Next
Journal
- acm / sigplan notices1
- acm sigplan notices1
- algebra & coalgebra in computer science (9783642402050)1
- algebra and coalgebra in computer science : 5th international conference, calco 2013, warsaw, poland, september 3-6, 2013. proceedings1
- applied optics3
- certified programs & proofs1
- certified programs & proofs: third international conference, cpp 2013, melbourne, vic, australia, december 11-13, 2013, proceedings1
- certified programs and proofs : second international conference, cpp 2012, kyoto, japan, december 13-15, 2012. proceedings1
- certified programs and proofs : third international conference, cpp 2013, melbourne, vic, australia, december 11-13, 2013, proceedings1