polski   English  
 

dLibra Digital Library

polski   English  

Publication

Favourite positions

Tagging
just private
Please login or register to use additional features!

Save this address

  • Add to bookmarks
  • bookmarks

Publication description

On the SMT-based Verification of Communicative Commitments

Opening only publication edition...