Journals in DBLP
Wolfgang Reisig The Expressive Power of Abstract-State Machines. [Citation Graph (0, 0)][DBLP ] Computers and Artificial Intelligence, 2003, v:22, n:3, pp:- [Journal ] Dominique Cansell , Dominique Méry Foundations of the B Method. [Citation Graph (0, 0)][DBLP ] Computers and Artificial Intelligence, 2003, v:22, n:3, pp:- [Journal ] Razvan Diaconescu , Kokichi Futatsugi , Kazuhiro Ogata CafeOBJ: Logical Foundations and Methodologies. [Citation Graph (0, 0)][DBLP ] Computers and Artificial Intelligence, 2003, v:22, n:3, pp:- [Journal ] Till Mossakowski , Anne Elisabeth Haxthausen , Donald Sannella , Andrzej Tarlecki Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. [Citation Graph (0, 0)][DBLP ] Computers and Artificial Intelligence, 2003, v:22, n:3, pp:- [Journal ]