Systems and Software Verification

Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.. Systems and Software Verification. Springer, 2001.

Authors

Berard

This author has not been identified. Look up 'Berard' in Google

B.

This author has not been identified. Look up 'B.' in Google

Bidoit

This author has not been identified. Look up 'Bidoit' in Google

M.

This author has not been identified. Look up 'M.' in Google

Finkel

This author has not been identified. Look up 'Finkel' in Google

A.

This author has not been identified. Look up 'A.' in Google

Laroussinie

This author has not been identified. Look up 'Laroussinie' in Google

F.

This author has not been identified. Look up 'F.' in Google

Petit

This author has not been identified. Look up 'Petit' in Google

A.

This author has not been identified. Look up 'A.' in Google

Petrucci

This author has not been identified. Look up 'Petrucci' in Google

L.

This author has not been identified. Look up 'L.' in Google

Schnoebelen

This author has not been identified. Look up 'Schnoebelen' in Google

P.

This author has not been identified. Look up 'P.' in Google