Flexible Invariants Through Semantic Collaboration - Research Collection

Metadata only

Author

Polikarpova, Nadia

Tschannen, Julian

Furia, Carlo A.

Meyer, Bertrand

Date

2014

Type

Conference Paper

Citations

Cited 14 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

Book title

FM 2014: Formal Methods

Volume

8442

Pages / Article No.

514 - 530

Publisher

Springer, 2014

Event

19th International Symposium, Singapore, Republic of Singapore, May 12-16, 2014

Organisational unit

03594 - Meyer, Bertrand (emeritus)

More

Show all metadata

Citations

Cited 14 times in Web of Science

ETH Bibliography

yes

Altmetrics