Ib Holm Sørensen

According to our database1, Ib Holm Sørensen
  • authored at least 10 papers between 1981 and 2005.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2005
Formality, Evolution, and Model-driven Software Engineering.
Electr. Notes Theor. Comput. Sci., 2005

1998
Using B to Specify, Verify and Design Hardware Circuits.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

1996
Applying the B Technologies on CICS.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1991
B-Tool.
Proceedings of the VDM '91, 1991

The B-Method.
Proceedings of the VDM '91, 1991

1987
Laws of Programming.
Commun. ACM, 1987

1981
Topics in programme specification and design : Specification and design of distributed systems.
PhD thesis, 1981


A Specification Language.
Proceedings of the Program Specification, 1981

Communication Network.
Proceedings of the Program Specification, 1981


  Loading...