Guest Editorial

Formal Methods in System Design

, Volume 32, Issue 3, pp 173-174

First online:

Special issue on learning techniques for compositional reasoning

  • Dimitra GiannakopoulouAffiliated withNASA Ames Research Center
  • , Corina S. PăsăreanuAffiliated withNASA Ames Research Center Email author 

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access