8 citations · 9 across the 7 of their papers we have counts for
1 paper · 1 filter
Giovanni Sileno
Modelling, specifying and reasoning about complex systems requires to process in an integrated fashion declarative and procedural aspects of the target domain. The paper reports on…