equal
deleted
inserted
replaced
|
1 @Misc{coq-team-10, |
|
2 author = {Coq development team}, |
|
3 title = {Coq 8.3 Reference Manual}, |
|
4 howpublished = {http://coq.inria.fr/reman}, |
|
5 year = {2010}, |
|
6 note = {INRIA} |
|
7 } |
|
8 |
1 @Book{db:dom-eng, |
9 @Book{db:dom-eng, |
2 author = {Bj{\o}rner, Dines}, |
10 author = {Bj{\o}rner, Dines}, |
3 title = {Domain Engineering. Technology Management, Research and Engineering}, |
11 title = {Domain Engineering. Technology Management, Research and Engineering}, |
4 publisher = {JAIST Press}, |
12 publisher = {JAIST Press}, |
5 year = {2009}, |
13 year = {2009}, |