机构:
Morgan Stanley Investment Management, Quantitat Struct Prod, London, EnglandMorgan Stanley Investment Management, Quantitat Struct Prod, London, England
机构:
CNR IIT, Pisa, Italy
IMT Scuola Alti Studi Lucca, Lucca, ItalyCNR ISTI, Pisa, Italy
Petrocchi, Marinella
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: REOCAS COLLOQUIUM IN HONOR OF ROCCO DE NICOLA, PT I, ISOLA 2024,
2025,
15219
: 186
-
203