## State-of-the-art languages for modern solutions
<h2class="page-sub-title">State-of-the-art languages for modern solutions</h2>
<br/>
We have years of experience on the research and development of programming languages, formal methods techniques and tools as well as their application in industrial settings. Let’s achieve bold projects together!
<br/>
...
...
@@ -28,7 +28,7 @@ We have years of experience on the research and development of programming langu
</p>
<hrclass="featurette-divider">
## Prototyping software solutions for you
<h2class="page-sub-title">Prototyping software solutions for you</h2>
<br/>
We design and implement reliable high-value solutions for our clients. As a challenge-driven team, we can find with you the most elegant and efficient solutions to optimize your products or create new ones.
...
...
@@ -107,7 +107,7 @@ We cater to very specific needs. For example, we can translate a “black box”
<hrclass="featurette-divider">
## You're in good company
<h2class="page-sub-title">You're in good company</h2>