Concepedia

RODIN (Rigorous Open Development Environment for Complex Systems)

Justin Coleman, Carleton H. Jones, Ian Oliver, Alexander Romanovsky, Elena Troubitsynå

School of Computing Science Technical Report Series · 2005 · 115 citations · 0 references

Concepts