BibSonomy :: user :: ist_spl ::

tag user group author concept BibTeX key search:all search:ist_spl

A blue social bookmark and publication sharing system.

tags · relations · groups · popular	help · blog · about
username: password:	login · register

bookmarks

bookmarks per page: 5 10 20 50 100

publications

(1)

BibTeX

RDF

other export options

<< < 1 > >>

Formal Specifications and Test: Correctness and Oracle
P. Le Gall and A. Arnould Lecture Notes in Computer Science(1996)
to oracle singlesystem correctness by ist_spl on May 16, 2008, 11:00 AM
BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100