- 
                
                
                apply operando methods for studies of zinc-based batteries, mainly rechargeable zinc-air batteries. A combination of diffraction and tomography will be applied, using in-house facilities as 
Searches related to formal methods
  Enter an email to receive alerts for formal-methods positions