K. Lano

Agile Model-Based Development

Agile Model-Based Development Using Uml-rsds

2021

Specification in B

1996

The B language and method

1996

Reverse engineering and software maintenance

1994

Object-oriented specification case studies

1969