RPTU University Library

Send mail to Author

Intelligent formal methods (Habilitation)

Please indicate your contact information and select, which author you want to contact.



 
            _____    __   _      ___      _  _      ___    
  ____     |  ___|| | || | ||   / _ \\   | \| ||   / _ \\  
 |    \\   | ||__   | '--' ||  / //\ \\  |  ' ||  | / \ || 
 | [] ||   | ||__   | .--. || |  ___  || | .  ||  | \_/ || 
 |  __//   |_____|| |_|| |_|| |_||  |_|| |_|\_||   \___//  
 |_|`-`    `-----`  `-`  `-`  `-`   `-`  `-` -`    `---`   
 `-`
 


Back to frontdoor view