NobleBlocks

Research indexBook chapter

Proof Development with Ωmega

Siekmann, Benzmüller, Brezhnev and 14 others

Lecture notes in computer science1 Jan 2002

DOI10.1007/3-540-45620-1_12

Paywalled

The full text is at the publisher

Open it at the publisher to read it.

Read at the publisher

Discussion

Citations

Topics

Mega-Computer scienceProof of conceptDevelopment (topology)Core (optical fiber)

More

Suggest a correction or report