A Specification Language by Sørensen, I

MATHEMATICS FOR SPECIFICATION AND DESIGN: THE PROBLEM WITH LIFTS . . . by Sorensen, I

SPECIFICATION LANGUAGE. by Sorensen, I

Using B to Specify‚ Verify and Design Hardware Circuits by Sørensen, I

CAVIAR: a case study in specification by Flinn, B, Sørensen, I

B−Tool by Lee, M, Sørensen, I

Communication Network by Nielsen, L, Sørensen, I

B: towards zero defect software by Sorensen, I, Neilson, D

High integrity software by Sorensen, I, Neilson, D

Formal specification and design of a simple assembler by Sørensen, I, Sufrin, B

CAVIAR: a case study in specification by Flinn, B, Sørensen, I

The use of B to specify‚ design and verify hardware by Ifill, W, Sorensen, I, Schneider, S

Review of Survey activities 2013: Estimating thermal conductivity from lithological descriptions – a new web-based tool for planning of ground-source heating and cooling by Ditlefsen, C., Sørensen, I., Slott, M., Hansen, M.

Get full text

Applying the B Technologies on CICS by Hoare, J, Dick, J, Neilson, D, Sørensen, I

The B−Method by Abrial, J, Lee, M, Neilson, D, Scharbach, P, Sørensen, I

Formality, evolution, and model-driven software engineering by Davies, J, Crichton, C, Crichton, E, Neilson, D, Sørensen, I

Formality‚ Evolution‚ and Model−driven Software Engineering by Davies, J, Crichton, C, Crichton, E, Neilson, D, Sørensen, I

Data Refinement Refined by Hoare, C, Hayes, I, He, J, Morgan, C, Sanders, J, Sorensen, I, Spivey, J, Sufrin, B

Laws of programming by Roscoe, A, Hoare, C, Jifeng, H, Hayes, I, Morgan, C, Sanders, J, Sorensen, I, Spivey, J, Sufrin, B

KWIC−index generation by Steensgaard−Madsen, J, Hughes, J, Powell, M, Ehrig, H, Kreowski, H, Nielsen, L, Abrial, J, Sørensen, I, Gallimore, R, Coleman, D, Goguen, J