Eléments de l'association
| ![]() |
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
002682 | Fabio Fioravanti [Italie] ; Alberto Pettorossi [Italie] ; Maurizio Proietti [Italie] ; Valerio Senni [Italie, France] | Improving Reachability Analysis of Infinite State Systems by Specialization |
00D174 | Alberto Pettorossi [Italie] ; Maurizio Proietti [Italie] | Rules and strategies for program transformation |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |