1
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras -- Context-Preserving...
Cael y testun llawn
Electronig eLyfr